A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications.
Shaoying LiuShin NakajimaPublished in: APSEC (2011)
Keyphrases
- test cases
- method for automatically generating
- formal specification
- software testing
- model checking
- object oriented design
- specification languages
- test data
- test sequences
- formal methods
- reverse engineering
- test case generation
- number of test cases
- test generation
- test suite
- test data generation
- regression testing
- black box
- test set
- test suite reduction
- testing process
- object oriented
- model based testing
- test case selection
- business rules
- protocol specification
- software components