Debug Software Failures

Find the demonstrated cause of one failure before changing code to make it go away, and end with a regression test. One oracle, a command that recognizes exactly this failure, judges every phase: reproduce and minimize, bisect to the commit when it worked at an earlier revision, and diagnose with discriminating experiments and instruments. Run only the phases the failure needs.

Workflow