J. Cadavid, B. Baudry, and H. Sahraoui, 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

J. Cadavid, B. Combemale, and B. Baudry, Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices
URL : https://hal.archives-ouvertes.fr/hal-00670652

V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller, 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

X. Dolques, M. Huchard, C. Nebut, and H. Saada, 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

M. Ernst, J. Perkins, P. Guo, S. Mccamant, C. Pacheco et al., 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

M. Faunes, H. Sahraoui, and M. Boukadoum, 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

J. Favre, CaCOphoNy: metamodel-driven software architecture reconstruction, 11th Working Conference on Reverse Engineering, pp.204-213, 2004.
DOI : 10.1109/WCRE.2004.15

D. Jackson, 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

F. Javed, M. Mernik, J. Gray, and B. Bryant, MARS: A metamodel recovery system using grammar inference. Information and Software Technology, pp.9-10948, 2008.

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Featureoriented domain analysis (foda) feasibility study, 1990.

J. Koza and R. Poli, Genetic programming, Search Methodologies, 2005.

A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett et al., The generic modeling environment, Workshop on Intelligent Signal Processing, 2001.

S. Ratcliff, D. White, and J. A. Clark, 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

J. Sánchez-cuadrado, J. De-lara, and E. Guerra, Bottom-up meta-modelling: An interactive approach. Model Driven Engineering Languages and Systems, pp.3-19, 2012.

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

A. Zeller, Specifications for Free, pp.2-12, 2011.
DOI : 10.1007/11531142_22