@inproceedings{CSEET-2011-TuTOBHKY,
	author        = "Shengru Tu and Shireesha Tankashala and Sehun Oh and Brian Becker and Brian Horton and Aditya Kallem and Zhao Yang",
	booktitle     = "{Proceedings of the 24th Conference on Software Engineering Education and Training}",
	doi           = "10.1109/CSEET.2011.5876080",
	isbn          = "978-1-4577-0348-5",
	pages         = "129--138",
	publisher     = "{IEEE Computer Society}",
	title         = "{Turning real-world systems into verification-driven learning cases}",
	year          = 2011,
}