3 citations · 6 across the 7 of their papers we have counts for
1 paper · 2 filters
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…