Programmtests können die Anwesenheit von Fehlern zeigen, aber niemals deren Abwesenheit – Edsger W. Dijkstra