A tool for domain-independent model mutation

To improve this situation, we propose Wodel: a domain-specific language and tool for model-based mutation that is independent of the domain meta-model. Wodelenables the rapid development and application of model mutations. It provides built-in advanced functionalities like automatic generation of seed models, and static and dynamic metrics of operator coverage and applicability. It offers extension points, e.g., to post-process mutants and describe domain-specific equivalence criteria. As an example, we illustrate the usage of Wodel for the mutation of security policies, and present an empirical evaluation of its expressiveness.