Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6875176 | Science of Computer Programming | 2018 | 15 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo,