Protocol conformance test case verification using timed-transitions.
Kshirasagar NaikBehçet SarikayaPublished in: PSTV (1994)
Keyphrases
- test cases
- protocol specification
- test suite
- model checker
- colored petri nets
- test generation
- communication protocols
- test case selection
- petri net
- software testing
- formal specification
- regression testing
- test case generation
- black box
- cryptographic protocols
- test suite reduction
- test sequences
- formal analysis
- test set
- test data
- set of test cases
- model checking
- test data generation
- formal methods
- number of test cases
- formal verification
- verification method
- testing process
- object oriented
- model based testing
- java programs
- temporal logic
- databases
- feature extraction