Program testing can be used to show the presence of bugs, but never to show their absence!
"Notes On Structured Programming" by Edsger Dijkstra, April 1970.
Program testing can be used to show the presence of bugs, but never to show their absence!