Bassem Elkarablieh Ivan Garcia Yuk Lai Suen Sarfraz Khurshid Assertion-based repair of complex data structures. 64-73 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321643 db/conf/kbse/ase2007.html#ElkarabliehGSK07