(Programs), Proofs and Refutations (and Tests and Mutants)
Alex Groce · 2024
This essay consists of an imaginary discussion among a group of students after a computer science class, that presents some problems of (and partial solutions to) fundamental issues of program correctness.