Génération automatique de cas de test guidée par les propriétés de sûreté / Jérôme
Vassy ; sous la direction de Farid Ouabdesselam et Ioannis Parissis. Thèse de doctorat
: Informatique : Université Joseph Fourier : 2014
Information trouvée : directeur de thèse à l'Université de Grenoble 1
Internet, http://www-lsr.imag.fr, 2005-02-28