Combined Static and Dynamic Analysis.

Cyrille Artho Armin Biere

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
malicious behavior
decision making
data sets
multiscale
expert systems
relational databases
source code
semi automatic
combining multiple