O. Mof, Core Final Adopted Specification Available from: http://www.omg.org/cgi-bin, pp.3-10, 2004.

K. Ehrig, J. M. Küster, G. Taentzer, and J. Winkelmann, Generating Instance Models from Meta Models. in FMOODS'06 (Formal Methods for Open Object-Based Distributed Systems), 2006.
DOI : 10.1007/s10270-008-0095-y

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Sen, B. Baudry, and J. Mottu, On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
DOI : 10.1109/ICST.2008.62

URL : https://hal.archives-ouvertes.fr/inria-00456955

Y. Lin, J. Gray, and F. Jouault, DSMDiff: a differentiation tool for domain-specific models, Special Issue on Model-Driven Systems Development, 2007.
DOI : 10.1109/MS.2003.1231150

URL : https://hal.archives-ouvertes.fr/hal-00483464

R. Heckel and M. Lohmann, Towards Model- Driven Testing, Electronic Notes in Theoretical Computer Science, issue.6, p.82, 2003.

M. Alanen and I. Porres, Difference and Union of Models. in UML'03 (Unified Modeling Language), 2003.

L. Traon, Y. , B. Baudry, and J. Jézéquel, Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, p.32, 2006.
DOI : 10.1109/TSE.2006.79

URL : https://hal.archives-ouvertes.fr/inria-00542784

L. C. Briand, Y. Labiche, and H. Sun, Investigating the Use of Analysis Contracts to Improve the Testability of Object Oriented Code. Software Practice and Experience, p.33, 2003.

J. Mottu, B. Baudry, and Y. Le-traon, Reusable MDA Components: A Testing-for-Trust Approach. in MoDELS'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00461274

J. De-lara and H. Vangheluwe, AToM3: A Tool for Multi-formalism and Meta-modelling, FASE '02 (International Conference on Fundamental Approaches to Software Engineering), 2002.

D. S. Kolovos, R. F. Paige, and F. A. Polack, Model comparison, Proceedings of the 2006 international workshop on Global integrated model management , GaMMa '06, 2006.
DOI : 10.1145/1138304.1138308

URL : https://hal.archives-ouvertes.fr/hal-00499395

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

R. Ramos, O. Barais, and J. Jézéquel, Matching Model-Snippets. in MoDELS'07, 2007.
DOI : 10.1007/978-3-540-75209-7_9

URL : https://hal.archives-ouvertes.fr/inria-00477558

P. Muller, F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet et al., On Executable Meta-Languages applied to Model Transformations. in Model Transformation in Practice Workshop, part of MoDELS'05, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

M. Lawley and J. Steel, Practical Declarative Model Transformation With Tefkat, in Model Transformation in Practice Workshop, part of MoDELS'05, 2005.