Automatic predicate abstraction of C programs (2001)

by T Ball, R Majumdar, T Millstein, S K Rajamani
Venue:In PLDI 01: Programming Language Design and Implementation