Mutation testing is a powerful methodology for evaluating test suite quality. In mutation
testing, a large number of mutants are generated and executed against the test suite to …

Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

The level of maturity that has been reached by model transformation technologies is proved
by the growing literature on transformation libraries that address an increasingly wide …

As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

In a model-driven development context (MDE), model transformations allow memorizing and
reusing design know-how, and thus automate parts of the design and refinement steps of a …

Model transformation programs are iteratively refined, restructured, and evolved due to
many reasons such as fixing bugs and adapting existing transformation rules to new …

Meta modeling is a wide-spread technique to define visual languages, with the UML being
the most prominent one. Despite several advantages of meta modeling such as ease of use …

Model Driven Development (MDD) is a software engineering approach in which models
constitute the basic units of software development. A key part of MDD is the notion of …

Testing model transformations requires input models which are graphs of inter-connected
objects that must conform to a meta-model and meta-constraints from heterogeneous …

Validation of model transformations is important for ensuring their quality. Successful
validation must take into account the characteristics of model transformations and develop a …