A Two-Phase Static Analysis for Reliable Adaptation.

Pierpaolo Degano Gian Luigi Ferrari Letterio Galletta

Published in: SEFM (2014)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
abstract interpretation
java card
test suite
test generation
regular expressions
data sets
reverse engineering
matching algorithm
open source
training data
data mining
test case generation
databases