@inproceedings{CSM-1993-ChowdhuryM,
	author        = "Anir Chowdhury and Scott Meyers",
	booktitle     = "{Proceedings of the Ninth Conference on Software Maintenance}",
	editor        = "David N. Card",
	isbn          = "0-8186-4600-4",
	pages         = "262--271",
	publisher     = "{IEEE Computer Society}",
	title         = "{Facilitating Software Maintenance by Automated Detection of Constraint Violations}",
	year          = 1993,
}