S.K.: Automatic predicate abstraction of c programs (2001)

by T Ball, R Majumdar, T D Millstein, Rajamani
Venue:In: PLDI. SIGPLAN