Program Modeling for Fault Definition Based Static Analysis.

Published in: IEA/AIE (2001)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
malicious code
regular expressions
test generation
abstract interpretation
database
fault detection
test case generation
test suite
building blocks
relational databases
expert systems
case study
artificial intelligence
data sets