Go-Sanitizer: Bug-Oriented Assertion Generation for Golang

Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang 0001, Huafeng Zhang, Ming Gu 0001. Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. In Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ivaki, Nuno Laranjeiro, editors, IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019. pages 36-41, IEEE, 2019. [doi]

Abstract

Abstract is missing.