2026-05-30T23:12:18Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/238912026-02-03T11:09:21Zcom_10630_2254col_10630_37953

Troya-Castilla, Javier Segura, Sergio Burgueño-Caballero, Lola Wimmer, Manuel 2022-03-23T11:41:56Z 2022-03-23T11:41:56Z 2022 Javier Troya, Sergio Segura, Lola Burgueño, and Manuel Wimmer. 2022. Model Transformation Testing and Debugging: A Survey. ACM Comput. Surv. Just Accepted (February 2022). DOI:https://doi.org/10.1145/3523056 https://hdl.handle.net/10630/23891 https://doi.org/10.1145/3523056 Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of \nPapers~papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community. eng open access Ingeniería del software Soporte lógico de sistemas Model Transformation Testing and Debugging: A Survey journal article