Christophe Meudec

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

E. Dillon, Christophe Meudec
Automatic Test Data Generation from Embedded C Code. SAFECOMP (2004)
Christophe Meudec
ATGen: automatic test data generation using constraint logic programming and symbolic execution. Softw. Test. Verification Reliab. 11 (2) (2001)
Christophe Meudec
Tests Derivation from Model Based Formal Specifications. IWFM (1999)