Rethinking the Taxonomy of Fault Detection Techniques
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02705257,p. 53-62
- https://doi.org/10.1109/icse.1989.714393
Abstract
The conventional classification of software fault detection techniques by their operational characteristics (static vs. dy- namic analysis) is inadequate as a basis for identifying useful relationships between techniques. A more useful distinction is between techniques which sample the space of possible ex- ecutions, and techniques which fold the space. The new dis- tinction provides better insight into the ways different tech- niques can interact, and is a necessary basis for considering hybrid fault detection techniques.Keywords
This publication has 19 references indexed in Scilit:
- Task Interaction Graphs For Concurrency AnalysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- How to leave out details: error-preserving abstractions of state-space modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Partition testing does not inspire confidencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Combining static concurrency analysis with symbolic executionIEEE Transactions on Software Engineering, 1988
- SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systemsIEEE Transactions on Software Engineering, 1986
- Salient features of an executable specification language and its environmentIEEE Transactions on Software Engineering, 1986
- Unisex: A unix-based symbolic executor for pascalSoftware: Practice and Experience, 1985
- An Overview of Anna, a Specification Language for AdaIEEE Software, 1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977