@misc{indiciae42833f048a76,
  title = {Exposing Go's Hidden Bugs: A Novel Concolic Framework},
  author = {Karolina Gorna and Nicolas Iooss and Yannick Seurin and Rida Khatoun},
  year = {2025},
  doi = {10.1109/sera65747.2025.11449147},
  url = {https://arxiv.org/abs/2505.20183},
  note = {Source identifier: 2505.20183}
}