Troya Castilla, JavierSegura Rueda, SergioParejo Maestre, José AntonioRuiz Cortés, Antonio2018-04-302018-04-302017Troya Castilla, J., Segura Rueda, S., Parejo Maestre, J.A. y Ruiz Cortés, A. (2017). An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization. En JISBD 2017: XXII Jornadas de Ingeniería del Software y Bases de Datos La Laguna: Universidad de la Laguna.https://hdl.handle.net/11441/73771Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has been proposed in several works. However, it is still challenging and error prone to locate the faulty rules, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible. Spectrum-Based Fault Localization (SBFL) is a technique for software debugging that uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. This paper describes a proposal for applying SBFL for locating the faulty rules in ATL model transformations. The approach aims at automatically detecting the transformation rule that makes an assertion fail.application/pdfengAtribución-NoComercial-SinDerivadas 3.0 Estados Unidos de Américahttp://creativecommons.org/licenses/by-nc-nd/4.0/Model transformationDebuggingSpectrumFault Localizationinfo:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess