Self-adaptive static analysis.

Published in: ICSE (NIER) (2018)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
abstract interpretation
control parameters
test generation
test suite
artificial intelligence
real world
data mining
knowledge base
domain knowledge