| |
| 2004 | ||
|---|---|---|
| 3 | EE | E. Dillon, Christophe Meudec: Automatic Test Data Generation from Embedded C Code. SAFECOMP 2004: 180-194 |
| 2001 | ||
| 2 | Christophe Meudec: ATGen: automatic test data generation using constraint logic programming and symbolic execution. Softw. Test., Verif. Reliab. 11(2): 81-96 (2001) | |
| 1999 | ||
| 1 | Christophe Meudec: Tests Derivation from Model Based Formal Specifications. IWFM 1999 | |
| 1 | E. Dillon | [3] |