I really like this one: “Program testing can be used to show the presence of bugs, but never to show their absence!” ― Edsger W. Dijkstra