The Debugging Book Tools and Techniques for Automated Software Debugging

Software has bugs, and finding bugs can involve lots of effort. This book addresses this problem by automating software debugging, specifically by locating errors and their causes automatically. Recent years have seen the development of novel techniques that lead to dramatic improvements in automated software debugging. They now are mature enough to be assembled in a book – even with executable code.

This work is designed as a textbook for a course in software debugging; as supplementary material in a software testing or software engineering course; and as a resource for software developers. We cover fault localization, program slicing, input reduction, automated repair, and much more, illustrating all techniques with code examples that you can try out yourself.

Part I: 

Whetting Your Appetite

Tours through the Book

Introduction to Debugging

Part II: 

Observing Executions

Tracing Executions

How Debuggers Work

Asserting Expectations

Check Free Debugging Book