The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.

— Tony Hoare, How Did Software Get So Reliable Without Proof? (1996)

From the FME '96 proceedings (Lecture Notes in Computer Science vol. 1051).

Topics: software engineering