29 citations · 56 across the 14 of their papers we have counts for
3 papers · 1 filter
NIL: Learning Nonlinear Interpolants
Mingshuai Chen, Jian Wang, Jie An +3
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The…
Using Dynamic Analysis to Generate Disjunctive Invariants
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…
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
ThanhVu Nguyen, Westley Weimer, Deepak Kapur +1
We prove that certain formulations of program synthesis and reachability are equivalent. Specifically, our constructive proof shows the reductions between the template-based synthe…