HDD: hierarchical delta debugging
暂无分享,去创建一个
[1] Manu Sridharan,et al. PSE: explaining program failures via postmortem static analysis , 2004, SIGSOFT '04/FSE-12.
[2] Michael I. Jordan,et al. Bug isolation via remote program sampling , 2003, PLDI.
[3] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..
[4] David B. Whalley,et al. Automatic isolation of compiler errors , 1994, TOPL.
[5] E. Burton Swanson,et al. Characteristics of application software maintenance , 1978, CACM.
[6] Ronald A. Olsson,et al. Automated bug isolation via program chipping , 2005, AADEBUG'05.
[7] Andreas Zeller,et al. Locating causes of program failures , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[8] Mayur Naik,et al. From symptom to cause: localizing errors in counterexample traces , 2003, POPL '03.
[9] Joseph Robert Horgan,et al. Dynamic program slicing , 1990, PLDI '90.
[10] Michael I. Jordan,et al. Scalable statistical bug isolation , 2005, PLDI '05.
[11] Jong-Deok Choi,et al. Isolating failure-inducing thread schedules , 2002, ISSTA '02.
[12] Eugene H. Spafford,et al. Debugging with dynamic slicing and backtracking , 1993, Softw. Pract. Exp..
[13] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[14] Sorin Lerner. Path-Sensitive Program Veri cation in Polynomial Time , 2002 .
[15] Alex Groce,et al. What Went Wrong: Explaining Counterexamples , 2003, SPIN.
[16] Andreas Zeller,et al. Simplifying and Isolating Failure-Inducing Input , 2002, IEEE Trans. Software Eng..
[17] Sorin Lerner,et al. ESP: path-sensitive program verification in polynomial time , 2002, PLDI '02.
[18] A. Zeller. Isolating cause-effect chains from computer programs , 2002, SIGSOFT '02/FSE-10.
[19] Mark Weiser,et al. Programmers use slices when debugging , 1982, CACM.