S.: Automatic predicate abstraction of C programs (2001)

by T Ball, R Majumdar, T Millstein, Rajamani
Venue:In: PLDI’2001: Programming Language Design and Implementation