F. Fleurey, B. Baudry, P. Muller, and Y. L. Traon, Qualifying input test data for model transformations, Software and System Modeling, 2009.
DOI : 10.1007/s10270-007-0074-8
URL : https://hal.archives-ouvertes.fr/hal-00880639

R. A. Demillo, R. J. Lipton, and F. G. 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

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012.
DOI : 10.1002/stvr.456
URL : https://hal.archives-ouvertes.fr/hal-00940611

A. C. Dias-neto, R. Subramanyan, M. Vieira, and G. H. Travassos, A survey on model-based testing approaches, Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007, WEASELTech '07
DOI : 10.1145/1353673.1353681

A. Bertolino, Software Testing Research: Achievements, Challenges, Dreams, Future of Software Engineering (FOSE '07), pp.85-103, 2007.
DOI : 10.1109/FOSE.2007.25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2507

M. Staats, M. W. Whalen, and M. P. Heimdahl, Programs, tests, and oracles, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.391-400, 2011.
DOI : 10.1145/1985793.1985847

D. Hoffman, A taxonomy for test oracles

J. Jézéquel, D. Deveaux, and Y. Le-traon, Reliable objects: lightweight testing for oo languages, IEEE Software, vol.18, issue.4, pp.76-83, 2001.
DOI : 10.1109/MS.2001.936221

M. Staats, G. Gay, and M. P. Heimdahl, Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing, 2012 34th International Conference on Software Engineering (ICSE), pp.870-880, 2012.
DOI : 10.1109/ICSE.2012.6227132

A. Andrews, R. France, S. Ghosh, and G. Craig, Test adequacy criteria for UML design models, Software Testing, Verification and Reliability, pp.95-127, 2003.
DOI : 10.1002/stvr.270

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

J. Mottu, B. Baudry, and Y. Le-traon, Reusable MDA Components: A Testing-for-Trust Approach, proceedings of the MoDELS, 2006.
DOI : 10.1007/11880240_41
URL : https://hal.archives-ouvertes.fr/hal-00461274

O. Finot, J. Mottu, G. Sunye, and C. Attiogbe, Partial Test Oracle in Model Transformation Testing, ICMT'13, 2013.
DOI : 10.1007/978-3-642-38883-5_17
URL : https://hal.archives-ouvertes.fr/hal-00823231

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

E. Cariou, N. Belloir, F. Barbier, and N. Djemam, Ocl contracts for the verification of model transformations, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01093481