Automatic array property detection via static analysis.
Alisa J. MaasPublished in: SPLASH (Companion Volume) (2015)
Keyphrases
- static analysis
- dynamic analysis
- source code
- semi automatic
- symbolic execution
- detection method
- false positives
- abstract interpretation
- java card
- detection algorithm
- regular expressions
- test generation
- object detection
- detection rate
- test suite
- software engineering
- pattern matching
- anomaly detection
- open source
- test case generation
- domain knowledge