Strategies for Automated Specification-Based Testing of Synchronous Software. - Ioannis Parissis; Jérôme Vassy (ASE, 2001)

Thoroughness of Specification-Based Testing of Synchronous Programs. - Ioannis Parissis; Jérôme Vassy (ISSRE, 2003)

Génération automatique de cas de test guidée par les propriétés de sûreté. - Jérôme Vassy (2004)