Practical Constraint Solving for Generating System Test Data.
Ghanem SoltanaMehrdad SabetzadehLionel C. BriandPublished in: ACM Trans. Softw. Eng. Methodol. (2020)
Keyphrases
- test data
- constraint solving
- training data
- constraint logic programming
- constraint propagation
- test cases
- test set
- constraint satisfaction
- constraint solver
- data sets
- constraint satisfaction problems
- training set
- constraint programming
- training and test data
- search based testing
- special case
- feature vectors
- database
- machine learning algorithms
- error rate
- software testing
- machine learning
- testing process
- constraint solvers