@inproceedings{ITiCSE-2012-Johnson,
	author        = "Chris Johnson",
	booktitle     = "{Proceedings of the 17th Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/2325296.2325343",
	isbn          = "978-1-4503-1246-2",
	pages         = "186--191",
	publisher     = "{ACM}",
	title         = "{SpecCheck: automated generation of tests for interface conformance}",
	year          = 2012,
}