"Les tests montrent la présence de bogues, mais pas leur absence"
Edsger Dijkstra