Test Data as an Aid in Proving Program Correctness.

Matthew M. Geller

Published in: Commun. ACM (1978)

Keyphrases

test data
test cases
training data
test set
training set
data sets
testing process
software testing
training samples
feature space
test generation
training and test data
database
domain specific
computer vision
genetic algorithm
static analysis