Automatic predicate abstraction of C programs (2001)

by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
Venue:SIGPLAN Not