“Testing can show the presence of errors, but not their absence.” Edsger W. Dijkstra (via Twitter)