Exposing Go's Hidden Bugs: A Novel Concolic Framework. - Karolina Gorna; Nicolas Iooss; Yannick Seurin; Rida Khatoun (CoRR, 2025)