Zorya: Automated Concolic Execution of Single-Threaded Go Binaries.

Karolina Gorna, Nicolas Iooss, Yannick Seurin, Rida Khatoun

Browse the full SAC paper archive.