Test Data as an Aid in Proving Program Correctness.

Matthew M. Geller

Published in: POPL (1976)

Keyphrases

test data
test cases
training data
training set
data sets
test set
search based testing
training and test data
testing process
data mining
feature selection
object oriented
test generation