On faults and faulty programs

DOI10.1007/978-3-319-06251-8_12MaRDI QIDQ5410485zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 16 April 2014

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06251-8_12

zbMATH Keywords

contingent faultcorrectnessdefinite faultfault removalfaultsfaulty programsmonotonic fault removalrefinementrelative correctness

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relational mathematics for relative correctness
• Correct Hardware Design and Verification Methods
• Finding and fixing faults
• Must fault localization for program repair
• Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

Cited in

(10)

• Must fault localization for program repair
• scientific article; zbMATH DE number 1708152 (Why is no real title available?)
• Using fault screeners for software error detection
• Relational mathematics for relative correctness
• Faulty Logic: Reasoning about Fault Tolerant Programs
• scientific article; zbMATH DE number 915856 (Why is no real title available?)
• Instruction sequence faults with formal change justification
• Correct Hardware Design and Verification Methods
• Toward a theory of program repair
• Four notions of fault for program specifications

This page was built for publication: On faults and faulty programs

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