Using fault screeners for software error detection

DOI10.1007/978-3-642-14819-4_5MaRDI QIDQ3058774zbMATH OpenOpenAlexFDO

Authors Rui Abreu, Alberto Gonzalez, Peter Zoeteweij, Arjan J. C. van Gemund

Publication date 7 December 2010

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14819-4_5

zbMATH Keywords

error detectionfault localizationanalytic modelprogram invariantsprogram spectra

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Software fault localization using elastic net: A new statistical approach
• On faults and faulty programs
• Scalable error detection using Boolean satisfiability
• FERRARI: a flexible software-based fault and error injection system
• scientific article; zbMATH DE number 915856

Cites work

• scientific article; zbMATH DE number 41467 (Why is no real title available?)
• scientific article; zbMATH DE number 3354425 (Why is no real title available?)
• Space/time trade-offs in hash coding with allowable errors
• The Daikon system for dynamic detection of likely invariants

Describes a project that uses

Uses Software

• IODINE
• LLVM
• Daikon

This page was built for publication: Using fault screeners for software error detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3058774)