Improving your software using static analysis to find bugs.
Brian ColeDaniel HakimDavid HovemeyerReuven LazarusWilliam PughKristin StephensPublished in: OOPSLA Companion (2006)
Keyphrases
- static analysis
- source code
- dynamic analysis
- symbolic execution
- malicious code
- software systems
- abstract interpretation
- java card
- regular expressions
- software projects
- test generation
- test suite
- open source
- case study
- real world
- bug localization
- test case generation
- open source projects
- software development
- metadata
- artificial intelligence