@inproceedings{CSM-1993-TurnerR,
	author        = "Christopher D. Turner and David J. Robson",
	booktitle     = "{Proceedings of the Ninth Conference on Software Maintenance}",
	editor        = "David N. Card",
	isbn          = "0-8186-4600-4",
	pages         = "302--310",
	publisher     = "{IEEE Computer Society}",
	title         = "{The State-Based Testing of Object-Oriented Programs}",
	year          = 1993,
}