„Durch Testen kann man stets nur die Anwesenheit, nie aber die Abwesenheit von Fehlern beweisen.“
Edsger Wybe Dijkstra (1930–2002) niederländischer Informatiker
Original: (en) Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.
Quelle: The Humble Programmer, ACM Turing Lecture 1972
