Formal methods for generating protocol conformance test sequences.
Anton T. DahburaKrishan K. SabnaniM. Ümit UyarPublished in: Proc. IEEE (1990)
Keyphrases
- test sequences
- formal methods
- protocol specification
- formal analysis
- model checker
- formal specification
- test cases
- video sequences
- model checking
- safety critical
- knowledge based systems
- bit rate
- security properties
- communication protocols
- software engineering
- test generation
- artificial intelligence
- process algebra
- learning algorithm
- decision trees
- high quality
- expert systems
- monitoring system
- database
- building blocks
- knowledge acquisition
- software development