ソフトウェア開発でのデバッグを最速にするアルゴリズムを書いた本です。 ソフトウェア開発ではデバッグは避けては通れません。デバッグは出口の見えない困難な作業に感じます。しかし、デバッグには効率良く進めることが可能な、機械的な手順が存在します。 本書では、分枝限定法を使って、デバッグをより速く実行し、より困難なデバッグを実行可能にする方法を紹介します。 16ページです。