Constructing automated protocol testing oracles to accommodate specification nondeterminism.
J. Jenny LiHong LiuRudolph E. SevioraPublished in: ICCCN (1997)
Keyphrases
- test cases
- test case generation
- protocol specification
- formal verification
- search based testing
- software testing
- semi automated
- coloured petri nets
- lightweight
- situation calculus
- manual inspection
- network protocols
- high level
- state machines
- cryptographic protocols
- formal analysis
- test data generation
- fully automated
- software development
- state machine
- communication protocols
- formal specification
- active learning
- lower bound
- database systems