Tools and Techniques for Automated Software Debugging, by Andreas Zeller