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.
The content of this project is licensed under the
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
The source code that is part of the content, as well as the source code used to format and display that content is licensed under the MIT License.
Last change: 2021-02-28 00:34:09+01:00 •
Cite •
Imprint