@inproceedings{POPL-1976-Geller,
	author        = "Matthew M. Geller",
	booktitle     = "{Conference Record of the Third Symposium on Principles of Programming Languages}",
	doi           = "10.1145/800168.811554",
	editor        = "Susan L. Graham and Robert M. Graham and Michael A. Harrison and William I. Grosky and Jeffrey D. Ullman",
	pages         = "209--218",
	publisher     = "{ACM Press}",
	title         = "{Test Data as an Aid in Proving Program Correctness}",
	year          = 1976,
}