Automated generation of protocol test sequences from formal specifications.
Gilbert M. LundyC. BasaranPublished in: ICNP (1994)
Keyphrases
- test sequences
- formal specification
- protocol specification
- video sequences
- test cases
- object oriented design
- model checking
- specification language
- specification languages
- test generation
- bit rate
- formal methods
- reverse engineering
- communication protocols
- concurrent systems
- error rate
- artificial intelligence
- data sets
- formal specification language
- communication protocol
- software testing
- software components
- knowledge based systems
- image sequences
- web services
- databases