Specification-Based Testing of Firewalls.

Jan Jürjens Guido Wimmel

Published in: Ershov Memorial Conference (2001)

Keyphrases

formal verification
test case generation
code generation
formal specification
database
real time
data sets
website
high level
image sequences
bayesian networks
multiscale
natural language
expert systems
intrusion detection system
software testing