Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications.
Ana R. CavalliPatrick MaigronSung Un KimPublished in: Protocol Test Systems (1992)
Keyphrases
- protocol specification
- test generation
- formal methods
- formal specification language
- model checker
- formal specification
- formal analysis
- test cases
- communication protocols
- software testing
- design automation
- model checking
- process algebra
- static analysis
- knowledge based systems
- specification language
- quality assurance
- security properties
- artificial intelligence
- reactive systems
- software engineering
- image quality
- data sets
- code coverage
- relational databases
- software systems