S.K.: Automatic Predicate Abstraction of C Programs. In: (2001)

by T Ball, R Majumdar, T D Millstein, Rajamani
Venue:SIGPLAN Conference on Programming Language Design and Implementation.