“Program testing can at best show the presence of errors, but never their absence.” Edsger Dijkstra
"The goal of test is to prove correctness, not to find bugs. If you study the quality movement you'll see this precept has revolutionized manufacturing. Alas, it hasn't seeped into software engineering." Jack Ganssle