K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, MoDELS, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On Challenges of Model Transformation from UML to Alloy. Software and Systems Modeling, Special Issue on MoDELS, pp.69-86, 2007.

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

R. Bardohl, G. Taentzer, and A. S. 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, Proceedings of MoDELS, 2005.
DOI : 10.1007/11663430_13

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Modeling Model Slicers, ACM/IEEE 14th International Conference MoDELS, pp.62-76, 2011.
DOI : 10.1016/S0164-1212(98)10055-9
URL : https://hal.archives-ouvertes.fr/inria-00609072

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. L. Traon, Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool, 2006 17th International Symposium on Software Reliability Engineering, 2006.
DOI : 10.1109/ISSRE.2006.27

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

R. L. Demillo 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

P. Dhoolia, S. Mani, V. Sinha, and S. Sinha, Debugging Model-Transformation Failures Using Dynamic Tainting, pp.26-51, 2010.
DOI : 10.1007/978-3-642-14107-2_3

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

C. Jeanneret, M. Glinz, and B. Baudry, Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091

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

H. M. and J. Power, An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software, Proc. of the 20th IEEE/ACM ASE, 2005.

Y. S. Mahajan and S. M. Fu, Zchaff2004: An Efficient SAT Solver, Lecture Notes in Computer Science SAT 2004 Special, pp.360-375, 2004.
DOI : 10.1007/11527695_27

M. C. Michalis-famelis and S. Ben-david, Partial models: A position paper, MoDeVVa Workshop, 2011.

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

P. A. Muller, F. Fleurey, and J. M. , Weaving Executability into Object-Oriented Meta-languages, Inernational Conference on Model Driven Engineering Languages and Systems (MoDelS/UML), pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

R. Ramos, O. Barais, and J. Jzquel, Matching Model-Snippets, MoDELS, pp.121-135, 2007.
DOI : 10.1007/978-3-540-75209-7_9
URL : https://hal.archives-ouvertes.fr/inria-00477558

S. Sen, Partial model completion tool. https://sites.google.com/site, 2011.

S. Sen, B. Baudry, and J. Mottu, On combining multi-formalism 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

E. Torlak and D. Jackson, Kodkod: A Relational Model Finder, Tools and Algorithms for Construction and Analysis of Systems, 2007.
DOI : 10.1007/978-3-540-71209-1_49