"Program testing can be a very effective way to show the presence of bugs, but it is hopelessly inadequate for showing their absence."
January 1, 1970
https://en.wikiquote.org/wiki/Edsger_W._Dijkstra