Why don't software developers use static analysis tools to find bugs?
Brittany JohnsonYoonki SongEmerson R. Murphy-HillRobert W. BowdidgePublished in: ICSE (2013)
Keyphrases
- software developers
- static analysis
- source code
- software projects
- software systems
- software development
- dynamic analysis
- software engineering
- application development
- computer systems
- symbolic execution
- application developers
- regular expressions
- computing systems
- software engineers
- test generation
- abstract interpretation
- software repositories
- open source
- java card
- software components
- software industry
- software development teams
- academic researchers
- cooperative
- software quality
- software maintenance
- development process
- query language
- artificial intelligence