“Il test di un programma può essere usato per mostrare la presenza di bug, ma mai per mostrare la loro assenza.”