Adrian Trifu Olaf Seng Thomas Genssler Automated Design Flaw Correction in Object-Oriented Systems. 174-183 2004 conf/csmr/2004 CSMR http://csdl.computer.org/comp/proceedings/csmr/2004/2107/00/21070174abs.htm db/conf/csmr/csmr2004.html#TrifuSG04