Automatic predicate abstraction of C programs (2001)

by T Ball, R Majumdar, T Millstein, S K Rajamani
Venue:In Conf. on Programming Language Design and Implementation (PLDI