I was just reading the editorial reviews for the "Why Programs Fail" [0] that you recommended and couldn't agree more with this statement:

"Today every computer program written is also debugged, but debugging is not a widely studied or taught skill. Few books beyond this one present a systematic approach to finding and fixing programming errors." --James Larus, Microsoft Research

This was something my school's CS program severely lacked.

[0] https://www.amazon.com/Why-Programs-Fail-Systematic-Debuggin...

Andreas Zeller, original author of GNU DDD, has a good book called "Why Programs Fail: A Guide to Systematic Debugging", 2nd edition.

http://www.amazon.com/Why-Programs-Fail-Systematic-Debugging...