A Case for Automated Debugging Using Data Structure Repair
暂无分享,去创建一个
Sarfraz Khurshid | Bassem Elkarablieh | Muhammad Zubair Malik | Khalid Ghori | S. Khurshid | Bassem Elkarablieh | Khalid Ghori
[1] Sudheendra Hangal,et al. Tracking down software bugs using automatic anomaly detection , 2002, ICSE '02.
[2] Darko Marinov,et al. Automatic testing of software with structurally complex inputs , 2005 .
[3] Armando Solar-Lezama,et al. Programming by sketching for bit-streaming programs , 2005, PLDI '05.
[4] Martin C. Rinard,et al. Automatic detection and repair of errors in data structures , 2003, OOPSLA '03.
[5] Sarfraz Khurshid,et al. Assertion-based repair of complex data structures , 2007, ASE.
[6] Trishul M. Chilimbi,et al. HOLMES: Effective statistical debugging via efficient path profiling , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[7] Xiangyu Zhang,et al. Locating faulty code using failure-inducing chops , 2005, ASE.
[8] A. Zeller. Isolating cause-effect chains from computer programs , 2002, SIGSOFT '02/FSE-10.
[9] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[10] Sarfraz Khurshid,et al. Repairing Structurally Complex Data , 2005, SPIN.
[11] Brian Demsky. Data structure repair using goal-directed reasoning , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[12] Sarfraz Khurshid,et al. Juzi: a tool for repairing complex data structures , 2008, ICSE.
[13] Barbara Liskov,et al. Program Development in Java - Abstraction, Specification, and Object-Oriented Design , 1986 .