Tag · Mutation testing
2 articles to explore.
[The World of Linkers—Lab 15] Let Counterexamples Set the Quality Bar
2026-10-06
Build replayable mutation and panic-survey tools, then test earlier backends through native execution, determinism checks, and behavioral comparison with GNU ld.
Read article
[The World of Linkers—Theory 16] From a Working Linker to One You Can Trust
2026-10-04
A linker must do more than produce a runnable file. Follow the engineering behind parallel passes, deterministic output, useful diagnostics, layered tests, and incremental linking—and see how each optimization changes what must be proved.
Read article