@article{2023-oakes-sasm-j,
  author       = {Bentley James Oakes and Javier Troya and Jessie Galasso and Manuel Wimmer},
  title        = {Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis},
  journal      = {Software and Systems Modeling},
  pages        = {1619-1374},
  year         = {2023},
  doi          = {10.1007/s10270-023-01123-3},
}