Automatic predicate abstraction of C programs (2001)

by Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
Venue:IN PROC. ACM PLDI