Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection.
Moheb R. GirgisPublished in: Softw. Test. Verification Reliab. (1993)
Keyphrases
- data flow
- test data
- symbolic execution
- test cases
- test data generation
- database machine
- search based testing
- training data
- test set
- control flow
- training set
- test generation
- training and test data
- data sets
- object oriented
- decision trees
- specification language
- cross validation
- knowledge management
- relational databases
- database systems
- database