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