Long-term Static Analysis Rule Quality Monitoring Using True Negatives.
Linghui LuoRajdeep MukherjeeOmer TrippMartin SchäfQiang ZhouDaniel SanchezPublished in: ICSE-SEIP (2023)
Keyphrases
- static analysis
- long term
- dynamic analysis
- short term
- source code
- symbolic execution
- malicious code
- monitoring system
- high quality
- real time
- association rules
- false positives
- java card
- reverse engineering
- abstract interpretation
- test generation
- test suite
- data sets
- regular expressions
- open source
- database systems
- databases