@Article{OakesTGW2023,
author={Oakes, Bentley J.
and Troya, Javier
and Galasso, Jessie
and Wimmer, Manuel},
title={Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis},
journal={Software and Systems Modeling},
year={2023},
month={Sept},
day={29},
issn={1619-1374},
doi={10.1007/s10270-023-01123-3},
url={https://doi.org/10.1007/s10270-023-01123-3}
}