Les méthodes manuelles de test passent tr`es mal `a l'échelle en ... Le test est
une méthode dynamique visant `a trouver des bugs .... Test en ?bo??te blanche?
..... Livres. Introduction to software testing. [Ammann-Offutt 08]. Foundations of ... 
