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:
# ignore from bookutils import rich_output
# ignore if rich_output(): from IPython.display import SVG sitemap = SVG(filename='PICS/Sitemap.svg') else: sitemap = None sitemap
But since even this map can be overwhelming, here are a few tours to get you started. Each of these tours allows you to focus on a particular view, depending on whether you are a programmer, student, or researcher.
You have a program to debug. You want to learn about techniques that help you for debugging. You want to get to the point.
Start with Introduction to Debugging to get the basic concepts. (You would know most of these anyway, but it can't hurt to get quick reminders).
Experiment with interactive debuggers to observe executions interactively.
Use assertions to have the computer systematically run checks during execution.
Visualize dependencies in your program and track the flow of data and control in the execution.
Check out statistical debugging for a simple way to determine code locations associated with failures.
See automatic repairs in action.
In each of these chapters, start with the "Synopsis" parts; these will give you quick introductions on how to use things, as well as point you to relevant usage examples. With this, enough said. Get back to work and enjoy!
Your school wants you to publish a great paper every few months. You are looking for infrastructures that you can toy with, helping you to build and evaluate cool ideas.
Extract dependencies from your program and use them for runtime verification, fault localization, and better repair.
Use automatic repairs as a starting point to build your own, better repairs. The Python implementation is well documented and extremely easy to expand.
Bring in test generation and structured inputs to collect input features that relate to failures.
Mine version and bug repositories to explore how bugs and all these features evolve over time.
For each of these chapters, experiment with the techniques, and then build your own on top. Read the relevant papers to learn more about their motivation and background. And now go and improve the world of automated debugging!