Using Qualitative Description for the Dynamic Analysis of Virus Inflection.

Hailin Feng Chenxi Shao Zicai Wang

Published in: SEAL (2006)

Keyphrases

dynamic analysis
qualitative description
static analysis
reverse engineering
qualitative simulation
qualitative models
model checking
qualitative reasoning
malicious behavior
software engineering
artificial intelligence
case study
dynamic systems