A traceability-driven approach to model transformation testing

Effective and efficient support for engineering model transformations is of paramount importance for automating Model-Driven Engineering (MDE) in practice. Such support should include techniques and tools for testing the correctness of model transformations. In this paper, we present a novel approach for identifying incorrect parts of model transformations by using the traceability information produced during the execution of a transformation …