Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer. Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Software and Systems Modeling, 23(3):737-763, June 2024. [doi]
Abstract is missing.