Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences.
Raymond E. MillerSanjoy PaulPublished in: IEEE/ACM Trans. Netw. (1994)
Keyphrases
- structural analysis
- test sequences
- protocol specification
- test cases
- formal specification
- civil engineering
- image processing
- communication protocols
- test generation
- video sequences
- bit rate
- three dimensional
- mutation testing
- reinforced concrete
- model checker
- lightweight
- database
- static analysis
- formal methods
- high quality
- pattern matching
- database systems
- artificial intelligence
- state machines
- databases