Boosting static analysis accuracy with instrumented test executions.
Tianyi ChenKihong HeoMukund RaghothamanPublished in: ESEC/SIGSOFT FSE (2021)
Keyphrases
- static analysis
- test generation
- test suite
- high accuracy
- dynamic analysis
- malicious code
- source code
- prediction accuracy
- test case generation
- regular expressions
- test cases
- ensemble methods
- symbolic execution
- fold cross validation
- classification accuracy
- improving classification accuracy
- data sets
- java card
- database systems
- high level
- learning algorithm