Reverse Engineering Feature Models from Software Variants to Build Software Product Lines, 2014. ,
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
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
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 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
EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, FormSERA, Formal Methods in Software Engineering, pp.44-50, 2012. ,
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
Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977. ,
DOI : 10.1016/0004-3702(77)90007-8
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
Handbook of Constraint Programming. Foundations of Artificial Intelligence, 2006. ,
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
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