Explainable Static Analysis.

Eric Bodden Lisa Nguyen Quang Do

Published in: Software Engineering (2018)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
regular expressions
abstract interpretation
test generation
learning algorithm
information extraction
database applications