K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On challenges of model transformation from UML to Alloy, Software and Systems Modeling, pp.69-86, 2009.
DOI : 10.1007/s10270-008-0110-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., Towards an automation of the mutation analysis dedicated to model transformation. Software Testing, Verification and Reliability, pp.5-7653, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00988164

T. Baar, The Definition of Transitive Closure with OCL ??? Limitations and Applications ???, Proceedings of Fifth Andrei Ershov International Conference, Perspectives, of System Informatics, pp.358-365, 2003.
DOI : 10.1007/978-3-540-39866-0_36

R. Bardohl, G. Taentzer, A. Schurr, and M. Minas, Handbook of Graph Grammars and Computing by Graph transformation, vII: Applications, Languages and Tools, World Scientific, 1999.

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

J. Bezivin, B. Rumpe, A. Schurr, and L. Tratt, Model transformations in practice workshop, october 3rd 2005, part of models, Proceedings of MoDELS, 2005.

C. Boyapati, S. Khurshid, and D. Marinov, Korat: automated testing based on java predicates, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, 2002.

E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le-traon, Metamodelbased test generation for model transformations: an algorithm and a tool, Proceedings of ISSRE'06, 2006.
DOI : 10.1109/issre.2006.27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.935

F. Budinsky, Eclipse Modeling Framework. The Eclipse Series, 2004.

J. Cabot, R. Clarisó, and D. Riera, Verifying UML/OCL Operation Contracts, Integrated Formal Methods, pp.40-55, 2009.
DOI : 10.1145/299917.299919
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.2506

E. Cariou, R. Marvie, L. Seinturier, and L. Duchien, OCL for the specification of model transformation contracts, OCL and Model Driven Engineering, pp.69-83, 2004.

K. Ehrig, J. M. Küster, G. Taentzer, and J. Winkelmann, Generating instance models from meta models, FMOODS'06 (Formal Methods for Open Object-Based Distributed Systems), pp.156-170, 2006.

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

F. Fleurey, B. Baudry, P. Muller, and Y. L. Traon, Qualifying input test data for model transformations. Software & Systems Modeling, pp.185-203, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00880639

J. Jézéquel and B. Meyer, Design by contract: the lessons of Ariane, Computer, vol.30, issue.1, pp.129-130, 1997.
DOI : 10.1109/2.562936

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

F. Jouault and I. Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, 2006.
DOI : 10.1145/1141277.1141561
URL : https://hal.archives-ouvertes.fr/hal-00483592

M. Aris-juk?s, C. Verbrugge, D. Varró, and H. Vangheluwe, Dynamic scope discovery for model transformations, Software Language Engineering, pp.302-321, 2014.

M. Kessentini, H. Sahraoui, M. Boukadoum, and O. B. Omar, Search-based model transformation by example, Software & Systems Modeling, vol.43, issue.14, pp.209-226, 2012.
DOI : 10.1007/s10270-010-0175-7

M. Hennessy and J. F. Power, An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, 2005.
DOI : 10.1145/1101908.1101926

B. Meyer, Applying'design by contract, Computer, issue.10, pp.2540-51, 1992.

J. Mottu, ISSRE 2015 experiments material, 2015.

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

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, 2012.
DOI : 10.1109/ISSRE.2012.7
URL : https://hal.archives-ouvertes.fr/hal-00752412

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MODELS/UML, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

S. Sen, B. Baudry, and J. Mottu, On combining multiformalism knowledge to select test models for model transformation testing, IEEE International Conference on Software Testing, 2008.

S. Sen, B. Baudry, and D. Precup, Partial model completion in model driven engineering using constraint logic programming, International Conference on the Applications of Declarative Programming, 2007.

S. Sen, B. Baudry, and H. Vangheluwe, Towards Domain-specific Model Editors with Automatic Model Completion, SIMULATION, vol.86, issue.2, pp.109-126, 2010.
DOI : 10.1177/0037549709340530
URL : https://hal.archives-ouvertes.fr/inria-00468513

I. Shlyakhter, Generating effective symmetry-breaking predicates for search problems, Discrete Applied Mathematics, vol.155, issue.12, pp.1539-1548, 2007.
DOI : 10.1016/j.dam.2005.10.018

Y. Sun, J. White, and J. Gray, Model transformation by demonstration, Model Driven Engineering Languages and Systems, pp.712-726, 2009.

D. Varró, Model Transformation by Example, Model Driven Engineering Languages and Systems, pp.410-424, 2006.
DOI : 10.1007/11880240_29

D. Varró and Z. Balogh, Automating model transformation by example using inductive logic programming, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.978-984, 2007.
DOI : 10.1145/1244002.1244217