Constraint-based program debugging using data structure repair

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011

Volumn , Issue , 2011, Pages 190-199

  Malik, Muhammad Zubair ^a   Siddiqi, Junaid Haroon ^a   Khurshid, Sarfraz ^a  

^a The University of Texas at Austin   (United States)

Author keywords

Automated Debugging; Data Structure Repair; Error Recovery; Fault Localization; Program Repair

Indexed keywords

AUTOMATED DEBUGGING; CONCRETE REPAIRS; CONSTRAINT-BASED; DATA STRUCTURE REPAIR; DATA STRUCTURE REPAIRS; ENABLING TECHNOLOGIES; FAULT LOCALIZATION; LIBRARY DATA; ON-THE-FLY; PROGRAM EXECUTION; PROGRAM REPAIR; PROGRAM STATE; PROGRAM STATEMENTS; REPAIR TECHNIQUES; RUN-TIME ERRORS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; EMBEDDED SYSTEMS; RECOVERY; REPAIR; SOFTWARE TESTING; VERIFICATION;

PROGRAM DEBUGGING;

EID: 79958757899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2011.65     Document Type: Conference Paper

References (25)

1. National Institute of Standards and Technology, "The economic impacts of inadequate infrastructure for software testing," Planning report 02-3, May 2002.
2. B. Beizer, Software Testing Techniques. International Thomson Computer Press, 1990.
3. P. Annnann and J. Offutt, Introduction to Software Testing. Cambridge University Press, 2007.
4. A. Zeller, Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann, 2005.
5. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, 1999.
6. F. Nielson, H. R. Nielson, and C. L. Hankin, Principles of Program Analysis. Springer, 1999.
7. L. A. Clarke and D. S. Rosenblum, "A historical perspective on runtime assertion checking in software development," SIGSOFT Software Engineering Notes, vol. 31, no. 3, 2006.
8. F. Chen and C. Roşu, "Java-MOP: A monitoring oriented programming environment for Java," in TACAS, 2005.
9. B. Demsky, "Data structure repair using goal-directed reasoning," Ph.D. dissertation, Massachusetts Institute of Technology, 2006.
10. B. Elkarablieh, "Assertion-based repair of complex data structures," Ph.D. dissertation, University of Texas at Austin, 2009.
11. S. Khurshid, I. García, and Y. L. Suen, "Repairing structuralty complex data," in 12th SPIN Workshop on Model Checking of Software, 2005.
12. B. Elkarablieh and S. Khurshid, "Juzi: A tool for repairing complex data structures," in ICSE, 2008.
13. B. Elkarablieh, I. Garcia, Y. L. Suen, and S. Khurshid, "Assertion-based repair of complex data structures," in ASE, 2007.
14. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: Automated testing based on Java predicates," in ISSTA, 2002.
15. D. Marinov, "Automatic testing of software with structurally complex inputs," Ph.D. dissertation, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2004.
16. M. Z. Malik, K. Ghori, B. Elkarablieh, and S. Khurshid, "A case for automated debugging using data structure repair," in ASE, 2009.
17. B. Liskov and J. Guttag, Program Development in Java: Abstraction, Specification, and Object-Oriented Design, 2000.
18. B. Elkarablieh, Y. Zayour, and S. Khurshid, "Efficiently generating structurally complex inputs with thousands of objects," in ECOOP, 2007.
19. D. Jeffrey, N. Gupta, and R. Gupta, "Fault localization using value replacement," in ISSTA, 2008.
20. V. Dallmeier, A. Zeller, and B. Meyer, "Generating fixes from object behavior anomalies," in ASE, 2009.
21. A. Solar-Lezama, R. Rabbah, R. Bodik, and K. Ebcioglu, "Programming by sketching for bit-streaming programs," in PLDI, 2005.
22. A. Zeller, "Isolating cause-effect chains from computer programs," in FSE, 2002.
23. T. Chilimbi, B. Liblit, K. Mehra, A. Nori, and K. Vaswani, "Holmes: Effective statistical debugging via efficient path profiling," in ICSE, 2009.
24. W. Weimer et al., "Automatically finding patches using genetic programming," in ICSE, 2009.
25. Y. Wei, V. Pei, C. A. Furia, L. S. Silva, S. Buchholz, B. Meyer, and A. Zeller, "Automated fixing of programs with contracts," in ISSTA, 2010.