A survey of testing for instruction sequence theory

DOI10.7561/SACS.2022.1.5MaRDI QIDQ6588073FDOQ6588073

Authors: J. A. Bergstra 

Publication date: 15 August 2024

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 sequence faults with formal change justification
• Theory of Program Testing-An Overview
• scientific article; zbMATH DE number 2079855
• scientific article; zbMATH DE number 897892

zbMATH Keywords

testspecificationserviceprogram algebrafaultinstruction sequencebug

Mathematics Subject Classification ID

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

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)