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.
Abstract
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
<arcadia-www@ics.uci.edu>
Last modified: Thu Jan 27 13:36:13 1995