The Debugging Book

Sitemap

While the chapters of this book can be read one after the other, there are many possible paths through the book. In this graph, an arrow A → B means that chapter A is a prerequisite for chapter B. You can pick arbitrary paths in this graph to get to the topics that interest you most:

Tracer Tracing Executions Debugger How Debuggers Work Tracer->Debugger Assertions Asserting Expectations Tracer->Assertions DeltaDebugger Reducing Failure- Inducing Inputs Tracer->DeltaDebugger StatisticalDebugger Statistical Debugging Tracer->StatisticalDebugger DynamicInvariants Mining Function Specifications Tracer->DynamicInvariants ChangeDebugger Isolating Failure- Inducing Changes DeltaDebugger->ChangeDebugger DDSetDebugger Generalizing Failure Circumstances DeltaDebugger->DDSetDebugger PerformanceDebugger Debugging Performance Issues DeltaDebugger->PerformanceDebugger Repairer Repairing Code Automatically DeltaDebugger->Repairer StatisticalDebugger->PerformanceDebugger StatisticalDebugger->Repairer Intro_Debugging Introduction to Debugging Intro_Debugging->Tracer Slicer Tracking Failure Origins Intro_Debugging->Slicer Tracking Tracking Bugs Intro_Debugging->Tracking ChangeCounter Where the Bugs are Tracking->ChangeCounter

Table of Contents

Part I: Whetting Your Appetite

Part II: Observing Executions

Part III: Flows and Dependencies

Part IV: Reducing Failure Causes

Part V: Abstracting Failures

Part VI: Automatic Repair

Part VII: Debugging in the Large

Appendices

Creative Commons License 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: 2023-11-12 15:53:32+01:00 • Cite • Imprint