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

P. A. Muller, F. Fleurey, and J. M. Jezequel, Weaving executability into object-oriented metalanguages, Inernational Conference on Model Driven Engineering Languages and Systems (MoDelS/UML), pp.264-278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

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

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

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

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

R. Demillo, R. L. Sayward, and F. , 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

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

M. Vaziri and D. Jackson, Some shortcomings of ocl, the object constraint language of uml, TOOLS '00: Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00), p.555, 2000.

E. Torlak and D. Jackson, Kodkod: A relational model finder. In: Tools and Algorithms for Construction and Analysis of Systems, 2007.

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

S. L. Pfleeger, Experimental design and analysis in software engineering, Annals of Software Engineering, pp.219-253, 2005.

J. M. Mottu, B. Baudry, and Y. L. Traon, Model transformation testing: oracle issue, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
DOI : 10.1109/ICSTW.2008.27
URL : https://hal.archives-ouvertes.fr/inria-00456951

T. Vagoun, Input domain partitioning in software testing, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences, 1996.
DOI : 10.1109/HICSS.1996.495407

E. J. Weyuker, S. N. Weiss, and D. Hamlet, Comparison of program testing strategies, Proceedings of the symposium on Testing, analysis, and verification , TAV4, pp.1-10, 1991.
DOI : 10.1145/120807.120808

W. J. Gutjahr, Partition testing versus random testing: the influence of uncertainty, IEEE TSE, vol.25, pp.661-674, 1999.

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.

M. , H. Power, and J. , 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.

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

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.

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.

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