@misc{indiciae069f81c50dfa,
  title = {Zorya: Automated Concolic Execution of Single-Threaded Go Binaries},
  author = {Karolina Gorna and Nicolas Iooss and Yannick Seurin and Rida Khatoun},
  year = {2025},
  doi = {10.1145/3748522.3779940},
  url = {https://arxiv.org/abs/2512.10799},
  note = {Source identifier: 2512.10799}
}