Facilitating Software Maintenance by Automated Detection of Constraint Violations. - Anir Chowdhury; Scott Meyers (ICSM, 1993)