Property Directed Generation of First-Order Test Data.

Fredrik Lindblad

Published in: Trends in Functional Programming (2007)

Keyphrases

test data
training data
test set
test cases
data sets
first order logic
training and test data
training set
generation algorithm
genetic programming
training samples
search based testing
error rate
principal component analysis
active learning
pairwise
database systems
feature selection
databases