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

Abstract

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.