A. Gamatié, L. Beux, S. Piel, E. , B. Atitallah et al., A Model-Driven Design Framework for Massively Parallel Embedded Systems, ACM Transactions on Embedded Computing Systems, vol.10, issue.4, 2011.
DOI : 10.1145/2043662.2043663

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

J. Voas and K. Miller, The revealing power of a test case, Software Testing, Verification and Reliability, vol.9, issue.1, pp.25-42, 1992.
DOI : 10.1002/stvr.4370020105

T. Murmane, K. Reed, T. Assoc, and V. Carlton, On the effectiveness of mutation analysis as a black box testing technique, Software Engineering Conference, pp.12-20, 2001.

B. Baudry, L. Traon, Y. Sunyé, G. Jézéquel, and J. , Measuring and improving design patterns testability, Proceedings. 5th International Workshop on Enterprise Networking and Computing in Healthcare Industry (IEEE Cat. No.03EX717), 2003.
DOI : 10.1109/METRIC.2003.1232455
URL : https://hal.archives-ouvertes.fr/hal-00448043

P. Frankl, S. Weiss, and C. Hu, All-uses vs mutation testing: An experimental comparison of effectiveness, Journal of Systems and Software, vol.38, issue.3, 1997.
DOI : 10.1016/S0164-1212(96)00154-9

R. Demillo and A. Offutt, Experimental results from an automatic test case generator, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, 1993.
DOI : 10.1145/151257.151258

B. Baudry, S. Ghosh, F. Fleurey, R. France, L. Traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, 2009.
DOI : 10.1145/1743546.1743583
URL : https://hal.archives-ouvertes.fr/inria-00542747

J. Mottu, B. Baudry, L. Traon, and Y. , Mutation Analysis Testing for Model Transformations, 2006.
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532

J. Bézivin, B. Rumpe, A. Schürr, and L. Tratt, Model Transformations in Practice Workshop, Satellite Events at the MoDELS 2005 Conference, 2005.
DOI : 10.1007/11663430_13

J. Van-gigch, System design, modeling and metamodeling, 1991.
DOI : 10.1007/978-1-4899-0676-2

C. Gonzalez-perez and B. Henderson-sellers, Metamodelling for Software Engineering, 2008.

M. Jeusfeld, M. Jarke, and J. Mylopoulos, Metamodeling for Method Engineering, 2009.

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, 2003.
DOI : 10.1109/MS.2003.1231150

K. Czarnecki and S. Helsen, Classification of model transformation approaches, OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.

J. Mottu, B. Baudry, L. Traon, and Y. , Model transformation testing : oracle issue. MoDeVVa workshop colocated with ICST'08, 2008.
DOI : 10.1109/icstw.2008.27
URL : https://hal.archives-ouvertes.fr/inria-00456951

O. Finot, J. Mottu, G. Sunye, and C. Attiogbe, Partial Test Oracle in Model Transformation Testing, International Conference on Model Transformation, 2013.
DOI : 10.1007/978-3-642-38883-5_17
URL : https://hal.archives-ouvertes.fr/hal-00823231

F. Fleurey, B. Baudry, P. Muller, and Y. Traon, Qualifying input test data for model transformations, Software & Systems Modeling, vol.4, issue.4, 2009.
DOI : 10.1007/s10270-007-0074-8
URL : https://hal.archives-ouvertes.fr/hal-00880639

S. Sen, B. Baudry, and J. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, International Conference on Model Transformation, ICMT09, 2009.
DOI : 10.1007/11768869_13
URL : https://hal.archives-ouvertes.fr/inria-00468256

S. Sen, N. Moha, B. Baudry, and J. Jézéquel, Meta-model Pruning, Model Driven Engineering Languages and Systems, MODELS, Lecture Notes in Computer Science, vol.20, issue.4, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

J. Mottu, S. Sen, M. Tisi, and J. Cabot, Static Analysis of Model Transformations for Effective Test Generation, 2012 IEEE 23rd International Symposium on Software Reliability Engineering
DOI : 10.1109/ISSRE.2012.7
URL : https://hal.archives-ouvertes.fr/hal-00752412

E. Guerra, Specification-Driven Test Generation for Model Transformations, Lecture Notes in Computer Science, vol.7307, pp.40-55, 2012.
DOI : 10.1007/978-3-642-30476-7_3

Y. Jia and M. Harman, An analysis and survey of the development of mutation testing. Software Engineering, IEEE Transactions on, 2010.

N. Li, U. Praphamontripong, and J. Offutt, An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage, 2009 International Conference on Software Testing, Verification, and Validation Workshops, 2009.
DOI : 10.1109/ICSTW.2009.30

B. Smith and L. Williams, Should software testers use mutation analysis to augment a test set?, Journal of Systems and Software, vol.82, issue.11, pp.1819-1832, 2009.
DOI : 10.1016/j.jss.2009.06.031

B. Smith and L. Williams, On guiding the augmentation of an automated test suite via mutation analysis, Empirical Software Engineering, vol.29, issue.4, 2009.
DOI : 10.1007/s10664-008-9083-7

S. Pimont and J. Rault, A software reliability assessment based on a structural and behavioral analysis of programs, Proceedings of the 2nd international conference on Software engineering, ICSE '76, 1976.

L. Clarke, A. Podgurski, D. Richardson, and S. Zeil, A formal evaluation of data flow path selection criteria, IEEE Transactions on Software Engineering, vol.15, issue.11, 1989.
DOI : 10.1109/32.41326

P. Ammann and J. Offutt, Introduction to software testing, 2008.
DOI : 10.1017/CBO9780511809163

E. Barbosa, J. Maldonado, and A. Vincenzi, Toward the determination of sufficient mutant operators for C, Software Testing, Verification and Reliability, vol.9, issue.2, pp.113-136, 2001.
DOI : 10.1002/stvr.226

A. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf, An experimental determination of sufficient mutant operators, ACM Transactions on Software Engineering and Methodology, vol.5, issue.2, 1996.
DOI : 10.1145/227607.227610

Y. Ma, Y. Kwon, and J. Offutt, Inter-class mutation operators for java, ISSRE '02: Proceedings of the 13th International Symposium on Software Reliability Engineering, 2002.

. Argrawal, . Demillo, . Hathaway, . Hsu, . Krauser et al., Design of mutant operators for the c programming language

M. Tisi, F. Jouault, P. Fraternali, S. Ceri, and J. Bézivin, On the use of higher-order model transformations. Model Driven Architecture -Foundations and Applications, 5th European Conference, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00782464

P. Fraternali and M. Tisi, Mutation analysis for model transformations in atl, International Workshop on Model Transformation with ATL, 2009.

F. Ferrari, J. Maldonado, and A. Rashid, Mutation Testing for Aspect-Oriented Programs, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
DOI : 10.1109/ICST.2008.37

A. Simão, J. Maldonado, and R. Da-silva-bigonha, A transformational language for mutant description, Computer Languages, Systems & Structures, vol.35, issue.3, 2009.
DOI : 10.1016/j.cl.2008.10.001

F. Fleurey, J. Steel, and B. Baudry, Validation in model-driven engineering: testing model transformations, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., pp.29-40, 2004.
DOI : 10.1109/MODEVA.2004.1425846

B. Baudry, F. Fleurey, J. Jézéquel, L. Traon, and Y. , From genetic to bacteriological algorithms for mutation-based testing, Software Testing, Verification and Reliability, vol.11, issue.2, pp.73-96, 2005.
DOI : 10.1002/stvr.313

G. Fraser and A. Zeller, Mutation-driven generation of unit tests and oracles, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.147-158, 2010.
DOI : 10.1109/tse.2011.93
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.7671

G. Fraser and A. Arcuri, EvoSuite, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, 2011.
DOI : 10.1145/2025113.2025179

K. Ayari, S. Bouktif, and G. Antoniol, Automatic mutation test input data generation via ant colony, Proceedings of the 9th annual conference on Genetic and evolutionary computation , GECCO '07, pp.1074-1081, 2007.
DOI : 10.1145/1276958.1277172

V. Aranega, J. Mottu, A. Etien, and J. Dekeyser, Traceability for mutation analysis in model transformation Proceedings of MODELS'10 Workshops and Symposia, pp.259-273, 2010.

F. Jouault, Loosely coupled traceability for atl, ECMDA Workshop on Traceability, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448118

J. Falleri, M. Huchard, and C. Nebut, Towards a traceability framework for model transformations in kermeta, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00102855

A. Yie and D. Wagelaar, Advanced traceability for ATL. 1st International Workshop on Model Transformation with ATL, 2009.

B. Vanhooff, D. Ayed, S. Baelen, W. Joosen, and Y. Berbers, UniTI: A Unified Transformation Infrastructure, 2007.
DOI : 10.1007/978-3-540-75209-7_3

V. Aranega, A. Etien, and J. Dekeyser, Using an Alternative Trace for QVT. Workshop on Multi-Paradigm Modeling, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00524153

V. Aranega, J. Mottu, A. Etien, T. Degueule, B. Baudry et al., Annexe and experimentation material. https://sites.google.com/site

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On executable metalanguages applied to model transformations. Model Transformations In Practice Workshop, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381