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.

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

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.

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

H. Czarnecki, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, 2006.
DOI : 10.1147/sj.453.0621

R. Demillo, R. J. 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

K. Ehrig, J. Kuster, G. Taentzer, and J. Winkelmann, Generating instance models from meta models, FMOODS, pp.156-170, 2006.

W. T. Federer, Experimental Design, Soil Science, vol.81, issue.4, 1955.
DOI : 10.1097/00010694-195604000-00015

F. Fleurey, B. Baudry, P. Muller, and Y. L. Traon, Towards dependable model transformations: Qualifying input test data. Software and Systems Modelling, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477567

F. Fleurey, E. Breton, B. Baudry, A. Nicolas, and J. Jezequel, Modeldriven engineering for software migration in a large industrial context, MoDELS/UML, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477566

M. Hennessy and J. 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

D. Hoskins, R. C. Turban, and C. J. Colbourn, Experimental designs in software engineering, Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research , WISER '04, pp.55-66, 2004.
DOI : 10.1145/1029997.1030009

S. Ilya, Generating effective symmetry-breaking predicates for search problems, Discrete Appl. Math, vol.155, issue.12, pp.1539-1548, 2007.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 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

C. Jeanneret, M. Glinz, and B. Baudry, Footprinting operations written in kermeta. technical report ifi-2011.0002, 2011.

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

J. Kuster and M. Abd-el-razik, Validation of Model Transformations ??? First Experiences Using a White Box Approach, MoDeVa associated to MoDELS, 2006.
DOI : 10.1007/978-3-540-69489-2_24

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

N. Moha, S. Sen, C. Faucher, O. Barais, and J. Jezequel, Evaluation of Kermeta for solving graph-based problems, International Journal on Software Tools for Technology Transfer, vol.6, issue.4, pp.3-4273, 2010.
DOI : 10.1007/s10009-010-0150-1

J. Mottu, B. Baudry, and Y. Le-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

S. Sen, B. Baudry, and J. Mottu, On combining multi-formalism knowledge to select test models for model transformation testing, ICST, 2008.

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

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, N. Moha, B. Baudry, and J. Jezequel, Meta-model Pruning, Model Driven Engineering Languages and Systems, 12th International Conference (MODELS), 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

S. Sen, J. Mottu, M. Tisi, and J. Cabot, Using Models of Partial Knowledge to Test Model Transformations, In ICMT, 2012.
DOI : 10.1007/978-3-642-30476-7_2
URL : https://hal.archives-ouvertes.fr/hal-00692175

E. Torlak and D. Jackson, Kodkod: A Relational Model Finder
DOI : 10.1007/978-3-540-71209-1_49

D. Varro and A. Balogh, The model transformation language of the VIATRA2 framework, Science of Computer Programming, vol.68, issue.3, pp.214-234, 2007.
DOI : 10.1016/j.scico.2007.05.004