Searching the boundaries of a modeling space to test metamodels, Proceedings of the International Conference on Software Testing, verification and validation (ICST), 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00665866
Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices ,
URL : https://hal.archives-ouvertes.fr/hal-00670652
Generating test cases for specification mining, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, 2010. ,
DOI : 10.1145/1831708.1831719
Formal and relational concept analysis approaches in software engineering: an overview and an application to learn model transformation patterns in examples, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00616272
The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol.69, issue.1-3, pp.1-335, 2007. ,
DOI : 10.1016/j.scico.2007.01.015
Generating model transformation rules from examples using an evolutionary algorithm, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pp.250-253, 2012. ,
DOI : 10.1145/2351676.2351714
CaCOphoNy: metamodel-driven software architecture reconstruction, 11th Working Conference on Reverse Engineering, pp.204-213, 2004. ,
DOI : 10.1109/WCRE.2004.15
Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002. ,
DOI : 10.1145/505145.505149
MARS: A metamodel recovery system using grammar inference. Information and Software Technology, pp.9-10948, 2008. ,
Featureoriented domain analysis (foda) feasibility study, 1990. ,
Genetic programming, Search Methodologies, 2005. ,
The generic modeling environment, Workshop on Intelligent Signal Processing, 2001. ,
Searching for invariants using genetic programming and mutation testing, Proceedings of the 13th annual conference on Genetic and evolutionary computation, GECCO '11, 2011. ,
DOI : 10.1145/2001576.2001832
Bottom-up meta-modelling: An interactive approach. Model Driven Engineering Languages and Systems, pp.3-19, 2012. ,
EMF: Eclipse Modeling Framework, 2008. ,
Specifications for Free, pp.2-12, 2011. ,
DOI : 10.1007/11531142_22