Generation of Test Data Structures Using Constraint Logic Programming.

Valerio Senni Fabio Fioravanti

Published 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