3 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Fanpeng Yang, Xu Ma, Shuling Wang +5
Automatically generating formal specifications including loop invariants, preconditions, and postconditions for legacy code is critical for program understanding, reuse and verific…