Login / Signup
Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications.
Heinz Jürgen Burkhardt
Hans Eckert
Alfred Giessler
Published in:
PSTV (1985)
Keyphrases
</>
test sequences
test cases
test generation
protocol specification
machine learning
lightweight
security protocols
artificial intelligence
authentication protocol
decision trees
data quality
formal analysis
tcp ip
model checker
communication protocols
state machines