Zaraket, Hayssam (2001). Une méthode automatisée pour le test des grands logiciels. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.