The SLAM project: debugging system software via static analysis

by Thomas Ball, Sriram K. Rajamani
Venue:SIGPLAN Not