Using Static Analysis to Reduce Dynamic Analysis Overhead.

Suan Hsi Yong Susan Horwitz

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

static analysis
dynamic analysis
source code
reverse engineering
malicious code
java card
test suite
maintenance cost
test generation
abstract interpretation
data sets
malicious behavior
symbolic execution
regular expressions
object oriented
relational databases
knowledge base