@inproceedings{ICSM-2007-RenC,
	author        = "Yansong (Jennifer) Ren and Fangzhe Chang",
	booktitle     = "{Proceedings of the 23rd International Conference on Software Maintenance}",
	doi           = "10.1109/ICSM.2007.4362660",
	pages         = "469--472",
	publisher     = "{IEEE}",
	title         = "{ATTEST: A Testing Toolkit for Validating Software Properties}",
	year          = 2007,
}