Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding
- Madan Musuvathi ,
- Dawson R. Engler
Electronic Notes in Theoretical Computer Science | , Vol 89(3)
This paper grew out of our experiences with software model checking after several years of using static analysis to find errors.