Measurements or Static Analysis or Both?.

Stefan M. Petters Patryk Zadarnowski Gernot Heiser

Published in: WCET (2007)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
abstract interpretation
test generation
regular expressions
test suite
java card
database
data sets
data model
domain knowledge