Debugging

Pre-Condition Generation

• Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis, Ravichandhran Madhavan and Raghavan Komondoor, OOPSLA 11
• Fault Localization and Repair for java Runtime Exceptions, Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold, ISSTA 09,

Debugging in Combinatorial Testing

Automated Fixing/Repairing of Production Code

• Patching Vulnerabilities with Sanitization Synthesis Fang Yu, Muath Alkhalaf and Tevfik Bultan. ICSE 2011
• Automated Atomicity-Violation Fixing. Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. PLDI 2011
  • Falling Back on Executable Specifications Hesam Samimi, Ei Darli Aung, and Todd Millstein. ECOOP 2010 [PBnJ]
• Automatic Workarounds for Web Applications. A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè. FSE 2010.
• Automated Program Repair through the Evolution of Assembly Code. Eric Schulte, Stephanie Forrest, Westley Weimer: ASE 2010.
• Automatic Program Repair With Evolutionary Computation. Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen. CACM 2010.
• Designing better fitness functions for automated program repair. Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer. GECCO 2010.
• Automated Fixing of Programs with Contracts Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer and Andreas Zeller ISSTA 2010
• Using Mutation to Automatically Suggest Fixes for Faulty Programs, V. Debroy and W. E. Wong, ICST 2010
• Generating Fixes from Object Behavior Anomalies. Valentin Dallmeier, Andreas Zeller, Bertrand Meyer. ASE 2009.
• A Genetic Programming Approach to Automated Software Repair. Stephanie Forrest, Westley Weimer, ThanhVu Nguyen, Claire Le Goues. GECCO 2009.
• Automatically Finding Patches Using Genetic Programming. Westley Weimer, ThanVu Nguyen, Claire Le Goues, Stephanie Forrest. ICSE 2009
  • Automatically Patching Errors in Deployed Software. Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst and Martin Rinard. SOSP 2009.

Automated Fixing/Repairing of Data Structures

• DSDSR: A tool that uses dynamic symbolic execution for data structure repair. Ishtiaque Hussain and Christoph Csallner. WODA 2010
• Dynamic symbolic data structure repair. Ishtiaque Hussain and Christoph Csallner. ICSE 2010 NIER.
• A Case for Automated Debugging Using Data Structure Repair. M. Z. Malik, K. Ghori, B. Elkarablieh, and S. Khurshid. ASE 2009.
• Juzi: A tool for repairing complex data structures. B. Elkarablieh and S. Khurshid.. ICSE 2008.
• Assertion-based Repair of Complex Data Structures. B. Elkarablieh, I. Garcia, Y. Suen, and S. Khurshid. ASE 2007
• STARC: Static Analysis for Efficient Repair of Complex Data. B. Elkarablieh, S. Khurshid, D. Vu, and K. McKinley. OOPSLA 2007
• Efficiently Generating Structurally Complex Inputs with Thousands of Objects. B. Elkarablieh, Y. Zayour, S. Khurshid. ECOOP 2007.
• Repairing Structurally Complex Data. S. Khurshid, I. Garcia and Y. Suen. SPIN 2005

Automated Fixing/Repairing of Test Code

• Automated documentation inference to explain failed tests. Sai Zhang, Cheng Zhang, and Michael D. Ernst. ASE 2011. PDF, slides (PDF), FailureDoc implementation.
• Repairing GUI Test Suites Using a Genetic Algorithm, S. Huang, M.B. Cohen and A.M. Memon, ICST 2010 website
  • On Test Repair using Symbolic Execution Brett Daniel, Tihomir Gvero and Darko Marinov ISSTA 2010

Automated Fixing/Repairing of Non-Code Artifacts

• First Step Towards Automatic Correction of Firewall Policy Faults. Fei Chen, Alex X. Liu, JeeHyun Hwang, and Tao Xie. LISA 2010.
• Causal Inference for Statistic Fault Localization George Baah, Andy Podgurski and Mary Jean Harrold ISSTA 2010
• Directed Test Generation for Effective Fault Localization Shay Artzi, Julian Dolby, Frank Tip and Marco Pistoia ISSTA 2010
• Taming Coincidental Correctness: Coverage Refinement with Context Patterns to Improve Fault Localization, Xinming Wang, S.C. Cheung, W.K. Chan, Zhenyu Zhang, ICSE 2009
• The Secret Life of Bugs: Going Past the Errors and Omissions in Software Repositories Jorge Aranda, Gina Venolia, ICSE 2009
• HOLMES: Effective Statistical Debugging via Efficient Path Profiling Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani, ICSE 2009
• Capturing propagation of infected program states, Zhang, Zhenyu and Chan, W. K. and Tse, T. H. and Jiang, Bo and Wang, Xinming, FSE 2009
• Fair and balanced?: bias in bug-fix datasets, Bird, Christian and Bachmann, Adrian and Aune, Eirik and Duffy, John and Bernstein, Abraham and Filkov, Vladimir and Devanbu, Premkumar, FSE 2009
• ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. Artzi, Shay and Kim, Sunghun and Ernst, Michael D. FSE 2009
• Darwin: an approach for debugging evolving programs. Qi, Dawei and Roychoudhury, Abhik and Liang, Zhenkai and Vaswani, Kapil, FSE 2009
• DebugAdvisor: a recommender system for debugging. Ashok, B. and Joy, Joseph and Liang, Hongkang and Rajamani, Sriram K. and Srinivasa, Gopal and Vangala, Vipindeep, FSE 2009
• Time Will Tell: Fault Localization Using Time Spectra, Cemal Yilmaz, Amit Paradkar, Clay Williams, ICSE 2008