JIT feedback: what experienced developers like about static analysis.
Yuriy TymchukMohammad GhafariOscar NierstraszPublished in: ICPC (2018)
Keyphrases
- static analysis
- source code
- dynamic analysis
- open source
- malicious code
- test generation
- symbolic execution
- java card
- software systems
- abstract interpretation
- scheduling problem
- test suite
- case study
- cd rom
- reverse engineering
- regular expressions
- data sets
- software development
- relevance feedback
- end users
- high level
- databases