Generation of test sequences from formal specifications: GSM 11-11 standard case study.
Eddy BernardBruno LegeardXavier LuckFabien PeureuxPublished in: Softw. Pract. Exp. (2004)
Keyphrases
- test sequences
- formal specification
- case study
- test cases
- object oriented design
- video sequences
- real world
- bit rate
- database
- specification language
- specification languages
- test generation
- reverse engineering
- software testing
- model checking
- formal methods
- database systems
- three dimensional
- artificial intelligence
- databases