Joran Dox - Mutation-based testing of model transformations 


To ensure the quality of software, it needs to be tested. Of course, the used test suite requires testing in itself. In mutation-based testing, this testing suite is tested with injecting common mistakes into the software, and checking whether those are found in the tests. In the context of Model Driven Engineering, testing model transformations is done by mutating the transformation model through the use of Higher-Order Transformations.