Oakes2023 - Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.pdf