Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis | Publicación