Capturing propagation of infected program states.

Zhenyu Zhang Wing Kwong Chan T. H. Tse Bo Jiang Xinming Wang

Published in: ESEC/SIGSOFT FSE (2009)

Keyphrases

static analysis
bayesian networks
online learning
wave propagation
case study
learning environment
expert systems
dynamic programming
probabilistic model
computer programs
state transition
programming environment
program execution
propagation model