How should static analysis tools explain anomalies to developers?
Titus BarikPublished in: SIGSOFT FSE (2016)
Keyphrases
- static analysis
- source code
- dynamic analysis
- end users
- open source
- software developers
- symbolic execution
- software systems
- anomaly detection
- software projects
- java card
- software engineers
- software components
- object oriented systems
- regular expressions
- building blocks
- development environments
- malicious code
- data sets
- abstract interpretation
- test generation
- software engineering
- artificial intelligence
- real world