Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis

Cong Wang, Yu Jiang 0001, Xibin Zhao, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun. Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 69-72, ACM, 2018. [doi]

Authors

Cong Wang

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

Yu Jiang 0001

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

Xibin Zhao

This author has not been identified. Look up 'Xibin Zhao' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Ming Gu 0001

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

Jiaguang Sun

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