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

Edsger Wybe Dijkstra, niederländischer Informatiker.