A. -msie-'deen and R. , Reverse Engineering Feature Models from Software Variants to Build Software Product Lines, 2014.

B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le-traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.53139-143, 2010.
DOI : 10.1145/1743546.1743583

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

J. Cabot, R. Clarisó, R. , and D. , Verification of UML/OCL Class Diagrams using Constraint Programming, ICSTW, IEEE International Conference on Software Testing Verification and Validation Workshop, pp.73-80, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

K. Ehrig, J. Küster, and G. Taentzer, Generating Instance Models from Meta models. Software and Systems Modeling, pp.479-500, 2009.
DOI : 10.1007/s10270-008-0095-y

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

A. Ferdjoukh, A. Baert, A. Chateau, R. Coletta, and C. Nebut, A CSP Approach for Metamodel Instantiation, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, p.1044, 1051.
DOI : 10.1109/ICTAI.2013.156

URL : https://hal.archives-ouvertes.fr/lirmm-01007571

G. Pérez, C. A. Buettner, F. Clarisó, R. , C. et al., EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, FormSERA, Formal Methods in Software Engineering, pp.44-50, 2012.

C. Lecoutre and O. Roussel, XML Representation of Constraint Networks, Computing Research Repository ACM Journal, vol.9, issue.2, pp.2362-2370, 2009.
DOI : 10.1002/9780470611821.app2

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

A. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

A. Mougenot, A. Darrasse, X. Blanc, and M. Soria, Uniform Random Generation of Huge Metamodel Instances, ECMDA, European Conference on Model-Driven Architecture Foundations and Applications, pp.130-145, 2009.
DOI : 10.1109/MS.2003.1231146

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

F. Rossi, P. Van-beek, W. , and T. , Handbook of Constraint Programming. Foundations of Artificial Intelligence, 2006.

S. Sen, B. Baudry, and J. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, ICMT, Conference on Model Transformation, pp.148-164, 2009.
DOI : 10.1007/11768869_13

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

H. Wu, R. Monahan, and J. F. Power, Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver, 2013 International Symposium on Theoretical Aspects of Software Engineering, 2013.
DOI : 10.1109/TASE.2013.31