Ali Parsai: Mutation-based Testing of Model Transformations (Using HOT)

Testing is an important part of the development cycle of a software. Mutation testing can be used to assess the quality of a test-suite in a quantifiable and repeatable way. Applying mutation testing to model-driven context requires rethinking of the classical approach. One way of implementing this idea in model-driven context is by using higher-order transformations as mutation operators for model transformations. In this article we explore this idea by implementing it on the RPG Game meta-model using AToMPM.