Property Oriented Test Case Generation. - Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon (FATES, 2003)

A Model-Based Approach for Robustness Testing. - Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon (TestCom, 2005)

Une approche basée sur les modèles pour le test de robustesse. (A Model-Based Approach for Robustness Testing). - Cyril Pachon (2005)