Automatic predicate abstraction of c programs (2001)

by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
Venue:In PLDI ’01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation