ListarITIS - Artículos por tema "Testing"
Mostrando ítems 1-2 de 2
-
Model Transformation Testing and Debugging: A Survey
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 ... -
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach
Muñoz, Paula; Troya-Castilla, Javier
; Wimmer, Manuel; Kappel, Gerti (AITO, 2022-10-01)
The correctness of software built through model transformations highly depends on the correctness of these transformations. Different approaches have been proposed to ensure the correctness of model transformations by ...