I'm currently reading: "Why Programs Fail", by Andreas Zeller.  The basic premise is that there's a science to Debugging, and you can build automated tools that actually help with the anaylsis in debugging - and he's not just talking about smarter breakpoints. While there's an endless supply of books about compilers and language theory, there's very few about debugging.

I'll certainly post back if I read anything interesting. I wonder if I can prototype any of it on CLR.

Has anybody already read this book? If so, what did you think?