Part V: Abstracting Failures

In this part, we show how to determine abstract failure conditions.

• Statistical Debugging is a technique to determine events during execution that correlate with failure – for instance, the coverage of individual code locations.

• Mining Function Specifications shows how to learn preconditions and postconditions from given executions.

• In Generalizing Failure Circumstances, we discuss how to automatically determine the (input) conditions under which the failure occurs.