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]

Authors

Cong Wang

This author has not been identified. Look up 'Cong Wang' in Google

Hao Sun

This author has not been identified. Look up 'Hao Sun' in Google

Yiwen Xu

This author has not been identified. Look up 'Yiwen Xu' in Google

Yu Jiang 0001

This author has not been identified. Look up 'Yu Jiang 0001' in Google

Huafeng Zhang

This author has not been identified. Look up 'Huafeng Zhang' in Google

Ming Gu 0001

This author has not been identified. Look up 'Ming Gu 0001' in Google