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
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
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
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
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
EMF: Eclipse Modeling Framework 2.0, 2009. ,
Instantiation of Meta-models Constrained with OCL: a CSP Approach, MODELSWARD, pp.213-222, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01232891
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
Model differences in the eclipse modeling framework, UPGRADE, The European Journal for the Informatics Professional, vol.9, issue.2, pp.29-34, 2008. ,
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
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
Modern information retrieval: A brief overview, IEEE Data Engineering Bulletin, vol.24, issue.4, pp.35-43, 2001. ,
Binary codes capable of correcting deletions, insertions , and reversals, Soviet physics doklady, pp.707-710, 1966. ,
On centrality functions of a graph, Graph Theory and Algorithms, pp.45-52, 1981. ,
DOI : 10.1007/3-540-10704-5_5
The PageRank citation ranking: bringing order to the web, 1999. ,
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=10.1.1.16.1458
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
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
Multidimensional clustering algorithms, Compstat Lectures, 1985. ,
R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, 2008. ,
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
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
Genetic Algorithm to Improve Diversity in MDE, META, pp.170-173, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01397321
Structural Graph-based Metamodel Matching, 2011. ,
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
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=10.1.1.135.2192
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
Searching the Boundaries of a Modeling Space to Test Metamodels, IEEE ICST, pp.131-140, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00665866
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
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
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