TY  - RPRT
TI  - Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
AU  - Karolina Gorna
AU  - Nicolas Iooss
AU  - Yannick Seurin
AU  - Rida Khatoun
PY  - 2025
DO  - 10.1145/3748522.3779940
UR  - https://arxiv.org/abs/2512.10799
ID  - 2512.10799
ER  -