A DSL for Model Mutation and its Applications to Different Domains

Pablo Gómez-Abajo
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Model-Driven Engineering (MDE) is a Software Engineering paradigm that focuses all phases of the software development process in models. Therefore, the automated manipulation of models is essential in MDE. While many Domain-Specific Languages (DSLs) exist to specify model transformation, model simulation, or code generation, there is a lack of DSLs to specify and apply model mutations. A model mutation is a kind of model manipulation that creates a set of variants (or mutants) of a seed model
more » ... the application of one or more mutation operators. Model mutation has many applications (e.g., model transformation testing, automated generation of exercises, verification of software testing, etc.). The objective of this thesis is the creation of a DSL for model mutation, and its application to different domains like education, model-based testing and search-based software engineering.
dblp:conf/models/Gomez-Abajo16 fatcat:ezcn5nff7ndzzl73htwep2ouva