(Programs), Proofs and Refutations (and Tests and Mutants).

Alex Groce

Browse the full Onward paper archive.