Automated testing of protocol specifications and their implementations.
Hasan UralRobert L. ProbertPublished in: Comput. Commun. Rev. (1984)
Keyphrases
- protocol specification
- model checker
- search based testing
- semi automated
- formal analysis
- lightweight
- fully automated
- formal specification
- efficient implementation
- test suite
- software testing
- formal verification
- cryptographic protocols
- model checking
- network protocols
- state machines
- test data generation
- code generation
- communication protocol
- high level
- test cases
- coloured petri nets
- automated analysis
- unit testing
- software development