Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.

Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu

Browse the full ISSRE paper archive.