@inproceedings{ISSTA-1994-Richardson,
	author        = "Debra J. Richardson",
	booktitle     = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/186258.187158",
	pages         = "138--153",
	series        = "{Software Engineering Notes}",
	title         = "{TAOS: Testing with Analysis and Oracle Support}",
	year          = 1994,
}