Towards the Automation of Metamorphic Testing in Model Transformations

Javier Troya, Sergio Segura, Antonio Ruiz-Cortés

Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of…