R. France and B. Rumpe, Model-Driven Development of Complex Software: A Research Roadmap, in Future of Software Engineering, 2007.

B. Baudry, T. Dinh-trong, J. Mottu, D. Simmonds, R. France et al., Challenges for Model Transformation Testing, Proceedings of IMDT workshop in conjunction with ECMDA'06, 2006.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into object-oriented metalanguages, Proceedings of MoDELS'05, pp.264-278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

K. Duddy, A. Gerber, M. Lawley, K. Raymond, and J. Steel, Model transformation: a declarative, reusable patterns approach, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings., pp.174-185, 2003.
DOI : 10.1109/EDOC.2003.1233847

J. De-lara and H. Vangheluwe, AToM3: A Tool for Multi-formalism and Meta-modelling, Proceedings of FASE '02 (International Conference on Fundamental Approaches to Software Engineering), pp.174-188, 2002.

T. J. Ostrand and M. J. Balcer, The category-partition method for specifying and generating functional tests, Communications of the ACM, issue.6, pp.31-676, 1988.

O. Meta-object and . Facilities, Available from: http://www.omg.org/mof/. 10. OMG. MOF 2.0 Core Final Adopted Specification Available from, 2004.

A. Andrews, R. France, S. Ghosh, and G. Craig, Test adequacy criteria for UML design models. Software Testing, Verification and Reliability, pp.95-127, 2003.

W. R. Adrio, M. A. Branstad, and J. C. Cherniavsky, Validation, Verification, and Testing of Computer Software, pp.159-192, 1982.

A. J. Offutt and J. Pan, Automatically Detecting Equivalent Mutants and Infeasible Paths Software Testing, Verification and Reliability 15. MMCC. Metamodel coverage checker Available from: http://www.irisa.fr/triskell/Softwares/protos/MMCC/. 16. Kermeta. The KerMeta Project Home Page Available from: http://www.kermeta.org. 17 Available from, J. Bézivin, B. Rumpe, A. Schürr, and L. Tratt. MTIP workshop, vol.7, issue.3, pp.165-192, 1997.

J. Steel and M. Lawley, Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, 15th International Symposium on Software Reliability Engineering, 2004.
DOI : 10.1109/ISSRE.2004.23

J. M. Küster, Definition and Validation of Model Transformations. Software and Systems Modeling, pp.233-259, 2006.

J. M. Küster and M. Abd-el-razik, Validation of Model Transformations -First Experiences using a White Box ApproachModel Design and Validation Workshop associated to MoDELS'06), Proceedings of MoDeVa'06 21. A. Darabos, A. Pataricza, and D. Varro. Towards Testing the Implementation of Graph Transformations Proceedings of GT-VMT workshop associated to ETAPS'06, pp.69-80, 1922.

P. Baldan, B. König, and I. Stürmer, Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems, Proceedings of ICGT 2004, pp.194-209, 2004.
DOI : 10.1007/978-3-540-30203-2_15

R. Heckel and L. Mariani, Automatic Conformance Testing of Web Services, Proceedings of FASE 2005, pp.34-48, 2005.
DOI : 10.1007/978-3-540-31984-9_4

J. Mottu, B. Baudry, and Y. Le-traon, Reusable MDA Components: A Testing-for-Trust Approach, Proceedings of MoDELS'06, 1925.
DOI : 10.1007/11880240_41

URL : https://hal.archives-ouvertes.fr/hal-00461274

R. Demillo, R. Lipton, and F. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

J. Mottu, B. Baudry, and Y. Le-traon, Mutation Analysis Testing for Model Transformations, Proceedings of ECMDA'06 (European Conference on Model Driven Architecture, 2006.
DOI : 10.1007/11787044_28

URL : https://hal.archives-ouvertes.fr/hal-00456532

H. Giese, S. Glesner, J. Leitner, W. Schäfer, and R. Wagner, Towards Verified Model Transformations Compiler test case generation methods: a survey and assessment. Information and Software Technology, Proceedings of MoDeVa workshop associated to MoDELS'06, pp.78-93, 1997.

B. Baudry, F. Fleurey, J. Jézéquel, Y. Le-traontrong, N. Kawane et al., From Genetic to Bacteriological Algorithms for Mutation-Based Testing Software Testing, Verification and Reliability A Tool-Supported Approach to Testing UML Design Models, Proceedings of ICECCS'05. 31. OMG. UML 2.0 Object Constraint Language (OCL) Final Adopted specification. 2003. Available from, pp.73-96, 2005.

M. Gogolla, J. Bohling, and M. Richters, Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling, pp.386-398, 2005.

M. J. Rutherford and A. L. Wolf, A Case for Test-Code Generation in Model-Driven Systems, Proceedings of The second international conference on Generative programming and component engineering, pp.377-396, 2003.
DOI : 10.1007/978-3-540-39815-8_23

R. Heckel and M. Lohmann, Towards Model-Driven Testing, Electronic Notes in Theoretical Computer Science, issue.6, p.82, 2003.

E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le-traon, Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool Mutation-based Model Synthesis in Model Driven Engineering, Proceedings of ISSRE'06 Proceedings of Mutation'06 workshop associated to ISSRE'06, 2006.