Medical software bug prediction based on static analysis.
Xiaodong GouXin ZhouJiaWen PangShunkun YangPublished in: IECON (2017)
Keyphrases
- static analysis
- source code
- dynamic analysis
- software systems
- open source
- software projects
- bug localization
- open source projects
- software maintenance
- prediction accuracy
- symbolic execution
- source files
- java card
- malicious code
- software evolution
- abstract interpretation
- bug reports
- test suite
- case study
- software artifacts
- object oriented systems
- test generation
- software repositories
- regular expressions
- data sets