Exposing Go's Hidden Bugs: A Novel Concolic Framework.

Karolina Gorna, Nicolas Iooss, Yannick Seurin, Rida Khatoun

Browse the full SERA paper archive.