L. V. Aertryck and T. Jensen, Uml-casting: Test synthesis from uml models using constraint resolution, Proceedings of AFADL2003 (Approches Formelles Dans L'Assistance Au Dévelopment De Logiciel), 2003.

B. K. Aichernig and P. A. Salas, Test Case Generation by OCL Mutation and Constraint Solving, Fifth International Conference on Quality Software (QSIC'05), pp.64-71, 2005.
DOI : 10.1109/QSIC.2005.63
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.506.3130

B. Baudry, T. Dinh-trong, J. M. Mottu, D. Simmonds, R. France et al., Model transformation testing challenges, Proceedings of IMDT Workshop in conjunction with ECMDA06, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00542781

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

B. Beizer, Software Testing Techniques, 1990.

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, pp.85-94, 2006.
DOI : 10.1109/ISSRE.2006.27

A. D. Brucker, M. P. Krieger, D. Longuet, and B. Wolff, A Specification-Based Test Case Generation Method for UML/OCL, MoDELS Workshops, pp.334-348, 2010.
DOI : 10.1023/A:1022920129859

C. Fiorentini, A. Momigliano, M. Ornaghi, and I. Poernomo, A Constructive Approach to Testing Model Transformations, ICMT. LNCS, pp.77-92, 2010.
DOI : 10.1007/978-3-642-13688-7_6

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. Fleurey, B. Baudry, P. A. Muller, and Y. L. Traon, Qualifying input test data for model transformations, Software & Systems Modeling, vol.4, issue.4, pp.185-203, 2009.
DOI : 10.1007/s10270-007-0074-8
URL : https://hal.archives-ouvertes.fr/hal-00880639

M. Gogolla and A. Vallecillo, Tractable Model Transformation Testing, ECMFA. LNCS, pp.221-235, 2011.
DOI : 10.1007/978-3-642-21470-7_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6300

C. A. González, F. Büttner, R. Clarisó, and J. Cabot, EMFtoCSP: A tool for the lightweight verification of EMF models, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012.
DOI : 10.1109/FormSERA.2012.6229788

E. Guerra, Specification-Driven Test Generation for Model Transformations, ICMT. LNCS, pp.40-55, 2012.
DOI : 10.1007/978-3-642-30476-7_3
URL : http://hdl.handle.net/10486/664296

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

J. M. Küster and M. Abd-el-razik, Validation of Model Transformations ??? First Experiences Using a White Box Approach, MoDELS Workshops, pp.193-204, 2006.
DOI : 10.1007/978-3-540-69489-2_24

M. Lamari, Towards an automated test generation for the verification of model transformations, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.998-1005, 2007.
DOI : 10.1145/1244002.1244220
URL : https://hal.archives-ouvertes.fr/hal-01305783

J. A. Mc-quillan and J. F. Power, White-box coverage criteria for model transformations, 2009.

T. J. Mccabe, A Complexity Measure, IEEE Transactions on Software Engineering, vol.2, issue.4, pp.308-320, 1976.
DOI : 10.1109/TSE.1976.233837

G. J. Myers, The Art of Software Testing, 2004.
DOI : 10.1002/9781119202486

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

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

J. Wang, S. K. Kim, and D. A. Carrington, Automatic Generation of Test Models for Model Transformations, 19th Australian Conference on Software Engineering (aswec 2008), pp.432-440, 2008.
DOI : 10.1109/ASWEC.2008.4483232

S. Weißleder and B. H. Schlingloff, Quality of Automatically Generated Test Cases based on OCL Expressions, 2008 International Conference on Software Testing, Verification, and Validation, pp.517-520, 2008.
DOI : 10.1109/ICST.2008.40