From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

DOI10.1007/S00165-005-0084-7MaRDI QIDQ2432226zbMATH OpenOpenAlexWikidataFDO

Authors Sergiy A. Vilkomir, Jonathan P. Bowen

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-005-0084-7

zbMATH Keywords

formal methodsMC/DCRC/DCsoftware testing criteriaZ notation

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2080006
• Testing criteria and a system for evaluation of the completeness of a test set
• scientific article; zbMATH DE number 2114138
• scientific article; zbMATH DE number 13941
• Towards MC/DC coverage of properties specification patterns

Cited in

(2)

• scientific article; zbMATH DE number 13941 (Why is no real title available?)
• scientific article; zbMATH DE number 2080006 (Why is no real title available?)

This page was built for publication: From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

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