V. Aranega, J. Mottu, A. Etien, and J. Dekeyser, Traceability mechanism for error localization in model transformation, ICSOFT, Bulgaria, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00461266

V. Aranega, J. Mottu, A. Etien, and J. Dekeyser, Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation, 2010 Workshop on Model-Driven Engineering, Verification, and Validation, 2010.
DOI : 10.1109/MoDeVVa.2010.15
URL : https://hal.archives-ouvertes.fr/inria-00524150

B. Baudry, F. Fleurey, J. Jézéquel, and Y. Le-traon, 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

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

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

F. Fleurey, B. Baudry, P. Muller, and Y. Le-traon, Towards dependable model transformations: Qualifying input test data, SoSyM Journal, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477567

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

F. Glitia, A. Etien, and C. Dumoulin, Traceability for an MDE Approach of Embedded System Conception, ECMDA Traceability Workshop, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00524367

J. H. Hayes, A. Dekhtyar, and D. S. Janzen, Towards traceable test-driven development, 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering, pp.26-30, 2009.
DOI : 10.1109/TEFSE.2009.5069579
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.1598

Y. Jia and M. Harman, An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, 2010.
DOI : 10.1109/TSE.2010.62

Y. Ma, J. Offutt, and Y. R. Kwon, MuJava: an automated class mutation system, Software Testing, Verification and Reliability, vol.8, issue.2, pp.97-133, 2005.
DOI : 10.1002/stvr.308
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.2076

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

P. Muller, F. Fleurey, and J. Jzquel, Weaving executability into objectoriented meta-languages, Proceedings of MODELS/UML'2005, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

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.

A. J. Offutt and J. Pan, Detecting equivalent mutants and the feasible path problem, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96, pp.165-192, 1997.
DOI : 10.1109/CMPASS.1996.507890

S. Sen, B. Baudry, and J. Mottu, On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
DOI : 10.1109/ICST.2008.62
URL : https://hal.archives-ouvertes.fr/inria-00456955

A. Sim-ao, J. C. Maldonado, R. Da, and S. Bigonha, A transformational language for mutant description, Computer Languages, Systems & Structures, vol.35, issue.3, pp.322-339, 2009.
DOI : 10.1016/j.cl.2008.10.001

J. M. Voas and K. W. 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