Aims to apply the wisdom of six disciplines - logic, mathematics, psychology, safety analysis, computer science, and engineering - to the problem of debugging. This work offers a systematic approach to identifying and correcting software errors.