Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle.
Olaf HennigerBehçet SarikayaSteve BiedlingmaierPublished in: Protocol Test Systems (1993)
Keyphrases
- application layer
- test suite
- formal specification
- software testing
- transport layer
- test cases
- protocol specification
- end to end
- regression testing
- network layer
- object oriented design
- video streaming
- test suite reduction
- model checking
- cross layer
- physical layer
- communication protocols
- reverse engineering
- formal methods
- ddos attacks
- software components
- database
- error rate
- peer to peer
- open source
- image sequences
- case study
- decision trees
- multimedia