Instruction sequence faults with formal change justification

DOI10.7561/SACS.2020.2.105MaRDI QIDQ5089616FDOQ5089616

Authors: J. A. Bergstra 

Publication date: 19 July 2022

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

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

zbMATH Keywords

splitting paradoxsumtermssumtuples

Mathematics Subject Classification ID

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

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)