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, pp.1044-1051, 2013.
DOI : 10.1109/ICTAI.2013.156

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.
DOI : 10.1007/11768869_13

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

C. A. González-pérez, F. Buettner, R. Clarisó, and J. Cabot, EMFtoCSP: A tool for the lightweight verification of EMF models, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), pp.44-50, 2012.
DOI : 10.1109/FormSERA.2012.6229788

F. Hilken, M. Gogolla, L. Burgueño, and A. Vallecillo, Testing models and model transformations using classifying terms, Software & Systems Modeling, vol.15, issue.3, pp.1-28, 2016.
DOI : 10.1007/s10270-014-0438-9

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, 2009 ICSE Workshop on Comparison and Versioning of Software Models, pp.1-6, 2009.
DOI : 10.1109/CVSM.2009.5071714

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, Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, pp.105-109, 2016.
DOI : 10.18293/SEKE2016-029

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

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

G. Szárnyas, Z. Kovári, ´. A. Salánki, and D. Varró, Towards the characterization of realistic models, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS '16, pp.87-94, 2016.
DOI : 10.1145/1368088.1368161

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, pp.707-710, 1966.

G. Kishi, On centrality functions of a graph, Graph Theory and Algorithms, pp.45-52, 1981.
DOI : 10.1007/3-540-10704-5_5

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

R. Kollmann and M. Gogolla, Metric-based selective representation of UML diagrams, Proceedings of the Sixth European Conference on Software Maintenance and Reengineering, pp.89-98, 2002.
DOI : 10.1109/CSMR.2002.995793

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

R. Mises and H. Pollaczek-geiringer, Praktische Verfahren der Gleichungsaufl??sung ., ZAMM - Zeitschrift f??r Angewandte Mathematik und Mechanik, vol.9, issue.2, pp.152-164, 1929.
DOI : 10.1002/zamm.19290090206

M. Roy, S. Schmid, and G. Trédan, Modeling and measuring graph similarity, Proceedings of the 10th ACM international workshop on Foundations of mobile computing, FOMC '14, pp.47-52, 2014.
DOI : 10.1145/2634274.2634277

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

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

R. Development and C. 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, ACM Computing Surveys, vol.23, issue.3, pp.345-405, 1991.
DOI : 10.1145/116873.116880

M. Weller, A. Chateau, and R. Giroudeau, 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

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

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.
DOI : 10.1007/978-3-540-87875-9_24

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, Proceedings 18th International Conference on Data Engineering, pp.117-128, 2002.
DOI : 10.1109/ICDE.2002.994702

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

K. Voigt and T. Heinze, Metamodel Matching Based on Planar Graph Edit Distance, Theory and Practice of Model Transformations, pp.245-259, 2010.
DOI : 10.1007/978-3-642-13688-7_17

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, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS '16, pp.374-384
DOI : 10.1145/1639950.1640036

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

J. Mottu, S. Sen, J. Cadavid, and B. Baudry, Discovering model transformation pre-conditions using automatically generated test models, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp.88-99, 2015.
DOI : 10.1109/ISSRE.2015.7381802

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