Arcadia Papers: ABSTRACT

"Rethinking the Taxonomy of Software Fault Detection Techniques", by Michal Young and Richard N. Taylor in Proceedings of the Eleventh International Conference on Software Engineering, pages 53-62, Pittsburgh, PA, May 1989.


The conventional classification of software fault detection techniques as static or dynamic analysis is inadequate as a basis for identifying useful relationships between techniques. A more useful distinction is between techniques that sample the space of possible executions, and techniques that fold the space. The new distinction provides better insight into the ways different techniques can interact, and is a basis for considering hybrid fault detection techniques including combinations of testing and formal verification.
The Arcadia Project <>
Last modified: Thu Jan 27 13:36:13 1995