Testing shows the presence, not the absence of bugs.
"Software Engineering Techniques". Report on a conference sponsored by the NATO Science Committee in Rome, Italy, edited by J.N. Buxton and B. Randell, October 27-31, 1969.
