Login / Signup
Efficient generation of test data structures using constraint logic programming and program transformation.
Fabio Fioravanti
Maurizio Proietti
Valerio Senni
Published in:
J. Log. Comput. (2015)
Keyphrases
</>
test data
constraint logic programming
test cases
training data
test set
logic programming language
logic programming
constraint solving
constraint propagation
search based testing
data sets
training and test data
answer set programming
constraint programming
learning problems
np complete
training set
lower bound