Using redundancies to find errors
- 18 November 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A system and language for building system-specific, static analysesPublished by Association for Computing Machinery (ACM) ,2002
- An empirical study of operating systems errorsPublished by Association for Computing Machinery (ACM) ,2001
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- EraserACM Transactions on Computer Systems, 1997
- LCLintPublished by Association for Computing Machinery (ACM) ,1994
- AIDA–A dynamic data flow anomaly detection system for pascal programsSoftware: Practice and Experience, 1987
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Detection of Data Flow Anomaly Through Program InstrumentationIEEE Transactions on Software Engineering, 1979
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976