Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.

Published in: CyPhy (2017)

Keyphrases

static analysis
symbolic execution
java card
test generation
source code
dynamic analysis
abstract interpretation
malicious code
model checking
regular expressions
learning algorithm
test suite
smart card
keywords
xml data