136 citations · 300 across the 19 of their papers we have counts for
1 paper · 2 filters
ThanhVu Nguyen, Deepak Kapur, Westley Weimer +1
Program invariants are important for defect detection, program verification, and program repair. However, existing techniques have limited support for important classes of invarian…