Random Graphs, 2001. ,
Verification of UML/OCL Class Diagrams using Constraint Programming, IEEE ICSTW, pp.73-80, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00974321
Generating Instance Models from Meta Models, FMOODS, pp.156-170, 2006. ,
DOI : 10.1007/s10270-008-0095-y
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.7171
Instantiation of Metamodels Constrained with OCL: a CSP Approach, MODELSWARD, pp.213-222, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01232891
A CSP Approach for Metamodel Instantiation, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.1044-1051, 2013. ,
DOI : 10.1109/ICTAI.2013.156
URL : https://hal.archives-ouvertes.fr/lirmm-01007571
Object-Oriented Metrics: Measures of Complexity, 1996. ,
Probability and Computing: Randomized Algorithms and Probabilistic Analysis, 2005. ,
DOI : 10.1017/CBO9780511813603
A critical point for random graphs with a given degree sequence, Random Structures & Algorithms, vol.3, issue.2-3, pp.161-180, 1995. ,
DOI : 10.1002/rsa.3240060204
Uniform Random Generation of Huge Metamodel Instances, ECMDA, pp.130-145, 2009. ,
DOI : 10.1109/MS.2003.1231146
URL : https://hal.archives-ouvertes.fr/hal-00391816
Random Structured Test Data Generation for Black-Box Testing, 2014. ,
Exact approaches for scaffolding, BMC Bioinformatics, vol.16, issue.Suppl 14, pp.1471-2105, 2015. ,
DOI : 10.1186/1471-2105-16-S14-S2
URL : https://hal.archives-ouvertes.fr/lirmm-01219627
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.175-182, 2013. ,
DOI : 10.1109/TASE.2013.31