Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.
Edsger Wybe Dijkstra, The Humble Programmer, ACM Turing Lecture 1972