Finding Failure Causes through Automated Testing

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.