Automatic predicate abstraction of C programs (2001)

by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
Venue:In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation