Static analysis versus software model checking for bug finding (0)

by D Engler, M Musuvathi
Venue:Verification, Model Checking, and Abstract Interpretation, 5th International Conference, Lecture Notes in Computer Science