Reducing the Overhead of Dynamic Analysis.

Suan Hsi Yong Susan Horwitz

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

Keyphrases

dynamic analysis
static analysis
reverse engineering
malicious behavior
model checking
abstract interpretation
information systems
expert systems
low overhead
databases
real world
image sequences
search algorithm
significantly reduced
communication overhead