Holger Cleve

DeltaDebugging: The difference in automated debugging.

My current task is investigating the reduction of program execution paths with Delta Debugging.

Publications

Finding Failure Causes through Automated Testing. Holger Cleve, Andreas Zeller; Proc. Fourth International Workshop on Automated Debugging, Munich, Germany, 28-30 August 2000.
Abstract. A program fails. Under which circumstances does this failure occur? One single algorithm, the delta debugging algorithm, suffices to determine these failure-inducing circumstances. Delta debugging applies the scientific method of debugging to narrow down the set of failure-inducing circumstances automatically - circumstances such as the program input, changes to the program code, or executed statements.
Locating Causes of Program Failures. Holger Cleve, Andreas Zeller; Submitted for publication.
Abstract. Which is the defect that causes a software failure? By comparing the program states of a failing and a passing run, we can identify the state differences that cause the failure. However, these state differences can occur all over the program run. Therefore, we focus in space on those variables and values that are relevant for the failure, and in time on those moments where cause transitions occur—moments where new relevant variables begin being failure causes: “Initially, variable argc was 3; therefore, at shell_sort(), variable a[2] was 0, and therefore, the program failed.” In our evaluation, cause transitions locate the failure-inducing defect twice as well as the best methods known so far.

Passau

Saarbrücken

Others

Holger Cleve <cleve@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/~cleve/ · Updated: 2006-01-20 16:07