Sign in
Self-adaptive static analysis.
Eric Bodden
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