About the Existence of Bugs

Program testing can be used to show the presence of bugs, but never to show their absence!

Edsger W. Dijkstra

Source: Notes On Structured Programming, 1970, at the end of section 3, On The Reliability of Mechanisms.