"Program testing can be used to show the presence of bugs, but never to show their absence" Edsger W. Dijkstra 1930-05-11 – 2002-08-06