Automatic Test Generation from Interprocedural Specifications. - Camille Constant; Bertrand Jeannet; Thierry Jéron (TestCom/FATES, 2007)

Integrating formal verification and conformance testing for reactive systems. - Camille Constant; Thierry Jéron; Hervé Marchand; Vlad Rusu (IEEE Trans. Software Eng., 2007)

Génération automatique de tests pour des modèles avec variables ou récursivité. - Camille Constant (2008)

Use of Runtime Enforcement for the Test of Real-time Systems. - Louis-Marie Givel; Matthias Brun 001; Camille Constant; Sébastien Faucou; Olivier H. Roux (HPCC/CSS/ICESS, 2015)