T. Back, Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms, 1996.

E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le-traon, Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool, 2006 17th International Symposium on Software Reliability Engineering, 2006.
DOI : 10.1109/ISSRE.2006.27

L. Davis, Handbook of genetic algorithms, 1991.

D. W. Dyer, Watchmaker framework for evolutionary computation

A. Egyed, Instant consistency checking for the UML, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134339

K. Ehrig, J. Küster, G. Taentzer, and J. Winkelmann, Generating instance models from meta models. Formal Methods for Open Object-Based Distributed Systems, 2006.
DOI : 10.1007/s10270-008-0095-y

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

D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann et al., Instantaneous Soundness Checking of Industrial Business Process Models, Business Process Management, pp.278-293, 2009.
DOI : 10.1007/978-3-540-85758-7_10

N. Hsueh, W. Shen, Z. Yang, and D. Yang, Applying uml and software simulation for process definition, verification, and validation. Information and Software Technology, 2008.
DOI : 10.1016/j.infsof.2007.10.015

A. Mougenot, A. Darrasse, X. Blanc, and M. Soria, Uniform Random Generation of Huge Metamodel Instances, Model Driven Architecture-Foundations and Applications, pp.130-145, 2009.
DOI : 10.1109/MS.2003.1231146

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

P. Pietsch, H. Yazdi, and U. Kelter, Generating realistic test models for model processing tools, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.620-623, 2011.
DOI : 10.1109/ASE.2011.6100140

N. Trcka, W. Van-der-aalst, and N. Sidorova, Analyzing control-flow and data-flow in workflow processes in a unified way, Computer Science Report, pp.8-31, 2008.

W. Van-der-aalst, A. Ter-hofstede, B. Kiepuszewski, and A. Barros, Workflow patterns. Distributed and parallel databases, pp.5-51, 2003.

W. Van-der-aalst, K. Van-hee, A. Ter-hofstede, N. Sidorova, H. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.179, issue.6, pp.333-363, 2011.
DOI : 10.1007/s00165-010-0161-4

B. Weber, M. Reichert, and S. Rinderle-ma, Change patterns and change support features ??? Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, vol.66, issue.3, 2008.
DOI : 10.1016/j.datak.2008.05.001

P. Wohed, W. Van-der-aalst, M. Dumas, A. Ter-hofstede, and N. Russell, Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams, 2005.
DOI : 10.1007/11568322_5