Statically-Directed Assertion Recommendation for C Programs.

Cong Wang, Le Kang, Renwei Zhang, Weiliang Yin

Browse the full COMPSAC paper archive.