Program testing can be by Program testing can be used to show the presence of bugs, but never to show their absence! Edsger Dijkstra