The SLAM project: debugging system software via static analysis (2002)

by T Ball, S Rajamani
Venue:In POPL 02: Principles of Programming Languages