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

F. Fleurey, B. Baudry, P. A. Muller, and Y. Le-traon, Qualifying input test data for model transformations, Software & Systems Modeling, vol.4, issue.4, 2009.
DOI : 10.1007/s10270-007-0074-8
URL : https://hal.archives-ouvertes.fr/hal-00880639

J. M. Mottu, S. Sen, M. Tisi, and J. Cabot, Static Analysis of Model Transformations for Effective Test Generation, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, 2012.
DOI : 10.1109/ISSRE.2012.7
URL : https://hal.archives-ouvertes.fr/hal-00752412

C. A. González and J. Cabot, ATLTest: A White-Box Test Generation Approach for ATL Transformations, In: MoDELS, pp.449-464, 2012.
DOI : 10.1007/978-3-642-33666-9_29

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

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

O. Finot, J. M. Mottu, G. Sunye, and C. Attiogbe, Comparaison de modèles filtrée pour le test de transformations de modèles, Conférence en IngénieriE du Logiciel CIEL, 2012.