Christophe Meudec

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

3 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

	2004
3		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

Coauthor Index

1 E. Dillon [3]