debuggingbook/_toc.yml at master · uds-se/debuggingbook · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
format: jb-book
root: index
parts:
  - caption: Introduction
    chapters:
    - file: Tours
    - file: Intro_Debugging
  - caption: Observing Executions
    chapters:
    - file: Tracer
    - file: Debugger
    - file: Assertions
  - caption: Flows and Dependencies
    chapters:
    - file: Slicer
  - caption: Reducing Failure Causes
    chapters:
    - file: DeltaDebugger
    - file: ChangeDebugger
  - caption: Abstracting Failures
    chapters:
    - file: StatisticalDebugger
    - file: DynamicInvariants
    - file: DDSetDebugger
    - file: Alhazen
    - file: PerformanceDebugger
  - caption: Automatic Repair
    chapters:
    - file: Repairer
  - caption: Debugging in the Large
    chapters:
    - file: Tracking
    - file: ChangeCounter
  - caption: Appendices
    chapters:
    - file: ExpectError
    - file: Timer
    - file: Timeout
    - file: ClassDiagram
    - file: StackInspector
  - caption: About This Book
    chapters:
    - file: ReleaseNotes
    - file: Importing
    - file: Copyright
    - file: Guide_for_Authors