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.