Login / Signup
Static analysis meets runtime verification (NII Shonan Meeting 2015-5).
Cyrille Artho
Einar Broch Johnsen
Martin Leucker
Keiko Nakata
Published in:
NII Shonan Meet. Rep. (2015)
Keyphrases
</>
static analysis
symbolic execution
java card
test generation
dynamic analysis
source code
abstract interpretation
malicious code
model checking
regular expressions
reverse engineering
test suite
database
data sets
data mining
feature space