Test case selection strategies based on Boolean specifications.
Tsong Yueh ChenMan Fai LauPublished in: Softw. Test. Verification Reliab. (2001)
Keyphrases
- selection strategies
- test cases
- selection strategy
- unit testing
- software testing
- test data
- test case selection
- search strategies
- regression testing
- black box
- test suite
- test sequences
- test generation
- formal specification
- test data generation
- test case generation
- number of test cases
- test set
- set of test cases
- test suite reduction
- testing process
- information retrieval
- data sets
- constraint programming
- object oriented
- objective function
- neural network