A. Ferdjoukh, F. Galinier, E. Bourreau, A. Chateau, and C. Nebut, Measuring Differences To Compare Sets of Models and Improve Diversity in MDE, ICSEA, International Conference on Software Engineering Advances, pp.73-81, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01586827

A. Ferdjoukh, A. Baert, A. Chateau, R. Coletta, and C. Nebut, A CSP Approach for Metamodel Instantiation, IEEE ICTAI, pp.1044-1051, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-01007571

S. Sen, B. Baudry, and J. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, ICMT, International Conference on Model Transformation, pp.148-164, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00468256

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

F. Hilken, M. Gogolla, L. Burgueño, and A. Vallecillo, Testing models and model transformations using classifying terms, Software & Systems Modeling, pp.1-28, 2016.

D. S. Kolovos, D. Di-ruscio, A. Pierantonio, and R. F. Paige, Different models for model matching: An analysis of approaches to support model differencing, CVSM@ICSE, pp.1-6, 2009.

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

A. Ferdjoukh, A. Baert, E. Bourreau, A. Chateau, and C. Nebut, Instantiation of Meta-models Constrained with OCL: a CSP Approach, MODELSWARD, pp.213-222, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01232891

A. Ferdjoukh, E. Bourreau, A. Chateau, and C. Nebut, A Model-Driven Approach to Generate Relevant and Realistic Datasets, SEKE, pp.105-109, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01397311

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming, 2006.

F. Galinier, E. Bourreau, A. Chateau, A. Ferdjoukh, and C. Nebut, Genetic Algorithm to Improve Diversity in MDE, META, pp.170-173, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01397321

J. Cabot, R. Clarisó, and D. Riera, 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

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.
URL : https://hal.archives-ouvertes.fr/hal-00391816

H. Wu, An SMT-based Approach for Generating Coverage Oriented Metamodel Instances, IJISMD, International Journal of Information System Modeling and Design, vol.7, issue.3, pp.23-50, 2016.

K. Ehrig, J. Küster, and G. Taentzer, Generating Instance Models from Meta models, SoSyM, Software and Systems Modeling, pp.479-500, 2009.

K. Voigt, Structural Graph-based Metamodel Matching, 2011.

J. Falleri, M. Huchard, M. Lafourcade, and C. Nebut, Metamodel matching for automatic model transformation generation, MODELS, pp.326-340, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00322879

S. Melnik, H. Garcia-molina, and E. Rahm, Similarity flooding: A versatile graph matching algorithm and its application to schema matching, ICDE, pp.117-128, 2002.

K. Voigt and T. Heinze, Metamodel matching based on planar graph edit distance, Theory and Practice of Model Transformations, pp.245-259, 2010.

J. Cadavid, B. Baudry, and H. Sahraoui, Searching the Boundaries of a Modeling Space to Test Metamodels, IEEE ICST, pp.131-140, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00665866

E. Batot and H. Sahraoui, A Generic Framework for Model-set Selection for the Unification of Testing and Learning MDE Tasks, MODELS, pp.374-384, 2016.

S. Sen, B. Baudry, and J. Mottu, On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, ICST, IEEE International Conference on Software Testing, Verification and Validation, pp.328-337, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456955

B. Henderson-sellers, Object-Oriented Metrics: Measures of Complexity, 1996.

E. Van-emden and L. Moonen, Java quality assurance by detecting code smells, Conference on Reverse Engineering, pp.97-106, 2002.

M. Mitzenmacher and E. , Probability and Computing: Randomized Algorithms and Probabilistic Analysis, 2005.

, Qualitas corpus, pp.2018-2023

, Metrics tool, metrics.sourceforge.net, pp.2018-2023

. "r-software, , pp.2018-2023

M. Weller, A. Chateau, and R. Giroudeau, Exact approaches for scaffolding, BMC Bioinformatics, vol.16, issue.14, pp.1471-2105, 2015.
DOI : 10.1186/1471-2105-16-s14-s2

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

C. Brun and A. Pierantonio, Model differences in the eclipse modeling framework, UPGRADE, The European Journal for the Informatics Professional, vol.9, pp.29-34, 2008.

G. Szárnyas, Z. Kovári, ´. A. Salánki, and D. Varró, Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics, MODELS, pp.87-94, 2016.

R. W. Hamming, Error detecting and error correcting codes, Bell System technical journal, vol.29, issue.2, pp.147-160, 1950.
DOI : 10.1002/j.1538-7305.1950.tb00463.x

A. Singhal, Modern information retrieval: A brief overview, IEEE Data Engineering Bulletin, vol.24, issue.4, pp.35-43, 2001.

V. Levenshtein, Binary codes capable of correcting deletions, insertions, and reversals, Soviet physics doklady, vol.10, pp.707-710, 1966.

G. Kishi, On centrality functions of a graph, Graph Theory and Algorithms, pp.45-52, 1981.

L. Page, S. Brin, R. Motwani, and T. Winograd, The PageRank citation ranking: bringing order to the web, Stanford InfoLab, Tech. Rep, 1999.

R. Kollmann and M. Gogolla, Metric-based selective representation of uml diagrams, pp.89-98, 2002.

R. Mises and H. Pollaczek-geiringer, Praktische verfahren der gleichungsauflösung, ZAMM-Journal of Applied Mathematics and Mechanics, vol.9, issue.2, pp.152-164, 1929.

M. Roy, S. Schmid, and G. Trédan, Modeling and measuring Graph Similarity: the Case for Centrality Distance, FOMC, pp.47-52, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01010901

F. Murtagh, Multidimensional clustering algorithms, Compstat Lectures, 1985.

, R Development Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, 2008.

F. Aurenhammer, Voronoi diagrams a survey of a fundamental geometric data structure, CSUR, ACM Computing Surveys, vol.23, issue.3, pp.345-405, 1991.

, Download comodi, pp.2018-2023

C. Dallard, M. Weller, A. Chateau, and R. Giroudeau, Instance guaranteed ratio on greedy heuristic for genome scaffolding, COCOA, Combinatorial Optimization and Applications, pp.294-308, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01378584

J. Mottu, S. Sen, J. Cadavid, and B. Baudry, Discovering model transformation pre-conditions using automatically generated test models, ISSRE, International Symposium on Software Reliability Engineering, pp.88-99, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01228715