Assertion Recommendation for Formal Program Verification.

Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun

Browse the full COMPSAC paper archive.