A Case for Automated Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Khalid Ghori; Bassem Elkarablieh; Sarfraz Khurshid (ASE, 2009)