Why Programs Fail(系统化调试指南)

纯英文书籍,本书一共分为15章,以系统化的方式向读者介绍了整个调试过程,从跟踪和重现故障开始,一直到自动化和简化测试用例,寻找故障最可能的来源,分离故障的起因和结果,并最终修正程序缺陷。本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术,还用浅显的语言说明如何使用一些调试领域最前沿的高水平调试工具。有兴趣的可以看看。