Automatic Predicate Abstraction of C Programs.

Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani

Browse the full PLDI paper archive.