28 citations · 45 across the 4 of their papers we have counts for
1 paper · 1 filter
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
We introduce a new technique for inferring program invariants that uses symbolic states generated by symbolic execution. Symbolic states, which consist of path conditions and const…