Instruction sequence faults with formal change justification

DOI10.7561/SACS.2020.2.105MaRDI QIDQ5089616zbMATH OpenFDO

Authors J. A. Bergstra

Publication date 19 July 2022

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

splitting paradoxsumtermssumtuples

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
• Instruction sequences for computer science.
• On faults and faulty programs
• Reasoning about Control Flow in the Presence of Transient Faults
• Instruction sequence processing operators

Cited in

(4)

• Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
• A survey of testing for instruction sequence theory
• Four notions of fault for program specifications
• Toward a theory of program repair

This page was built for publication: Instruction sequence faults with formal change justification

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