@misc{indiciae2a3f0c4f29e4,
  title = {SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution},
  author = {Yufeng Li and Qiusong Yang and Yiwei Ci and Enyuan Tian},
  year = {2024},
  doi = {10.1145/3649329.3655958.},
  url = {https://arxiv.org/abs/2404.03172},
  note = {Source identifier: 2404.03172}
}