B. Baudry, T. Trong, J. Mottu, D. Simmonds, R. France et al., Model Transformation Testing Challenges, ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00542781

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

T. Stahl, M. Völter, and K. Czarnecki, Model-driven software development: technology, engineering, management, 2006.

M. Brambilla, J. Cabot, and M. Wimmer, Model-Driven Software Engineering in Practice, ser, Synthesis Lectures on Software Engineering, 2012.

K. Ehrig, J. Küster, and G. Taentzer, Generating instance models from meta models, Software and Systems Modeling, 2009.

K. Ehrig, J. M. Kister, G. Taentzer, and J. Winkelmann, Generating instance models from meta models, FMOODS, pp.156-170, 2006.

S. Sen, B. Baudry, and J. Mottu, On combining multiformalism knowledge to select models for model transformation testing, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456955

S. Sen, B. Baudry, and J. Mottu, Automatic model generation strategies for model transformation testing, International Conference on Model Transformation, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00468256

A. Mougenot, A. Darrasse, X. Blanc, and M. Soria, Uniform random generation of huge metamodel instances, 5th European Conference on Model-Driven Architecture Foundations and Applications, pp.130-145, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00391816

J. Cabot, R. Clarisó, and D. Riera, Verification of uml/ocl class diagrams using constraint programming, Proc. of the Software Testing Verification and Validation Workshop, pp.73-80, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

C. A. Pérez, F. Buettner, R. Clarisó, and J. Cabot, EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework 2.0, 2009.

J. J. Cadavid, Assisting precise Metamodeling, 2012.

C. P. Gomes, A. Sabharwal, and B. Selman, Model counting: A new strategy for obtaining good bounds, AAAI, pp.54-61, 2006.

N. Creignou and H. Daude, Generalized satisfiability problems: minimal elements and phase transitions, TCS, vol.302, issue.1-3, pp.417-430, 2003.

E. Hebrard, B. O'sullivan, and T. Walsh, Distance constraints in constraint satisfaction, IJCAI, pp.106-111, 2007.

C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar et al., Constraint Acquisition via Partial Queries, IJCAI, p.7, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00830325

N. Beldiceanu and H. Simonis, A model seeker: Extracting global constraint models from positive examples, pp.141-157, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00754044

K. R. Apt and M. Wallace, Constraint logic programming using Eclipse, 2007.

J. Régin, Arc consistency for global cardinality constraints with costs, CP, pp.390-404, 1999.

J. Régin, A filtering algorithm for constraints of difference in csps, pp.362-367, 1994.

S. Merchez, C. Lecoutre, and F. Boussemart, Abscon: A prototype to solve csps with abstraction, CP, pp.730-744, 2001.

J. Cadavid, B language metamodel in ecore format + ocl well-formedness rules, INRIA, 2012.

J. Cadavid, Sad3 metamodel + ocl well-formedness rules, 2012.