Christophe Meudec

ATGen: automatic test data generation using constraint logic programming and symbolic execution †

Christophe Meudec, 2001, Softw. Test. Verification Reliab..

Automatic generation of software test cases from formal specifications

Christophe Meudec, C. Meudec, 1998 .

Tests Derivation from Model Based Formal Specifications

Christophe Meudec, 1999, IWFM.

Automatic Test Data Generation from Embedded C Code

Christophe Meudec, E. Dillon, 2004, SAFECOMP.