A survey of testing for instruction sequence theory

DOI10.7561/SACS.2022.1.5MaRDI QIDQ6588073zbMATH OpenFDO

Authors J. A. Bergstra

Publication date 15 August 2024

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

zbMATH Keywords

testspecificationserviceprogram algebrafaultinstruction sequencebug

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
• Instruction sequence faults with formal change justification
• Theory of Program Testing-An Overview
• scientific article; zbMATH DE number 2079855
• scientific article; zbMATH DE number 897892

Cited in

(1)

• Four notions of fault for program specifications

This page was built for publication: A survey of testing for instruction sequence theory

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