Rule-based static analysis of network protocol implementations.

Octavian Udrea Cristian Lumezanu Jeffrey S. Foster

Published in: Inf. Comput. (2008)

Keyphrases

static analysis
dynamic analysis
source code
expert systems
symbolic execution
malicious code
java card
abstract interpretation
data sets
test suite
rule base
test generation
database
reverse engineering
regular expressions
data driven
software engineering
domain knowledge