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

Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun

Browse the full ICSE paper archive.