OOPSLA
2004
Springer
14 years 4 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...