@misc{indiciae14042a121525,
  title = {Syntax-Guided Automated Program Repair for Hyperproperties},
  author = {Raven Beutner and Tzu-Han Hsu and Borzoo Bonakdarpour and Bernd Finkbeiner},
  year = {2024},
  url = {https://arxiv.org/abs/2408.06035},
  note = {Source identifier: 2408.06035}
}