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

K. Anastasakis, B. Bordbarand, and J. M. Kuster, Analysis of model transformations via alloy, MoDeVVa'07 associated with MoDeLs, 2007.

B. Baudry, F. Fleurey, J. Jezequel, and Y. L. Traon, Automatic test case optimization using a bacteriological adaptation model: application to .NET components, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115023

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

A. Darabos, A. Pataricza, and D. Varro, Towards Testing the Implementation of Graph Transformations, GT-VMT workshop associated to ETAPS'06, pp.69-80, 2006.
DOI : 10.1016/j.entcs.2008.04.031

K. Ehrig, J. Küster, 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.

F. Fleurey, J. Steel, and B. Baudry, Validation in modeldriven engineering: Testing model transformations, MoDeVa'04 (Model Design and Validation Workshop associated to ISSRE'04), 2004.

B. Frank, Eclipse Modeling Framework, volume 1 of The Eclipse Series, 2004.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

J. Jezequel, D. Deveaux, Y. L. Traon, M. Uster, and . Abd-el-razik, Reliable objects: lightweight testing for oo languages, MoDeVa'06 (Model Design and Validation Workshop associated to MoDELS'06), pp.76-83, 2001.
DOI : 10.1109/MS.2001.936221

J. Mottu, B. Baudry, and Y. L. Traon, Mutation Analysis Testing for Model Transformations, Proceedings of ECMDA'06 (European Conference on Model Driven Architecture ), 2006.
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532

O. Mof, Core Final Adopted Specification, 2005.

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.