O. Spem, Software process engineering metamodel, 2002.

F. Fleurey, B. Baudry, P. Muller, and Y. Traon, Qualifying input test data for model transformations, Software and Systems Modeling, pp.185-203, 2009.
DOI : 10.1007/s10270-007-0074-8
URL : https://hal.archives-ouvertes.fr/hal-00880639

X. Thirioux, B. Combemale, X. Crégut, and P. Garoche, A framework to formalise the mde foundations, OMG Meta Object Facility Core International Workshop on Towers of Models, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00159748

K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson, Feature-oriented domain analysis feasibility study, Software Engineering Institute, 1990.

A. Arcuri, M. Iqbal, and L. Briand, Black-box system testing of real-time embedded systems using random and searchbased testing, International Conference on Testing Software and Systems, ICTSS 2010, pp.95-110, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055241

M. Harman, The Current State and Future of Search Based Software Engineering, Future of Software Engineering (FOSE '07), pp.342-357, 2007.
DOI : 10.1109/FOSE.2007.29

O. Räihä, A survey on search-based software design, Computer Science Review, vol.4, issue.4, pp.203-249, 2010.
DOI : 10.1016/j.cosrev.2010.06.001

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

S. Sen, B. Baudry, and J. Mottu, Automatic model generation strategies for model transformation testing Theory and Practice of Model Transformations, pp.148-164, 2009.

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, Model Driven Engineering Languages and Systems, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30

K. Dowsland, Simulated annealing, " in Modern heuristic techniques for combinatorial problems, pp.20-69, 1993.

F. Budinsky, E. Merks, and D. Steinberg, Eclipse Modeling Framework 2.0, 2009.

G. Perrouin, J. Klein, N. Guelfi, and J. Jézéquel, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507

T. Clark1, A. Evans, and S. Kent, Engineering Modelling Languages: A Precise Meta-Modelling Approach, Fundamental Approaches to Software Engineering, pp.242-260, 2002.
DOI : 10.1007/3-540-45923-5_11

M. Gogolla, J. Bohling, and M. Richters, Validating UML and OCL models in USE by automatic snapshot generation, Software and Systems Modeling, 2005.
DOI : 10.1007/s10270-005-0089-y

D. Sadilek and S. Weißleder, Testing Metamodels, Model Driven Architecture?Foundations and Applications, pp.294-309, 2008.
DOI : 10.1007/978-3-540-69100-6_20

R. Lämmel and W. Schulte, Controllable Combinatorial Coverage in Grammar-Based Testing, Testing of Communicating Systems, pp.19-38, 2006.
DOI : 10.1007/11754008_2

E. Sirer and B. Bershad, Using production grammars in software testing, ACM SIGPLAN Notices, pp.1-13, 1999.