APPENDIX Formal Definitions
A.1 DELTA DEBUGGING
A.1.1 Configurations
Definition A.1: Configurations and runs. We assume that the execution of a specific program is determined by a number of circumstances. Denote the set of possible configurations of circumstances by R.
Definition A.2: rtest. The function rtest: R→ {
, ✓, ?} determines for a program run r ϕ R whether some specific failure occurs () or not (✓), or whether the test is unresolved (?).
Definition A.3: Change. A change δ is a mapping δ: R → R. The set of changes C is the set of all mappings ...
Get Why Programs Fail, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
