Generation of Test Data Structures Using Constraint Logic Programming.
Valerio SenniFabio FioravantiPublished in: TAP@TOOLS (2012)
Keyphrases
- test data
- constraint logic programming
- constraint solving
- test cases
- test set
- training data
- answer set programming
- logic programming
- training set
- data sets
- search based testing
- constraint programming
- constraint propagation
- training and test data
- temporal reasoning
- training samples
- knowledge representation
- knowledge base
- database