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

DOI10.1007/S00165-005-0084-7zbMATH Open1103.68471OpenAlexW2139021595WikidataQ56939807 ScholiaQ56939807MaRDI QIDQ2432226FDOQ2432226

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

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

zbMATH Keywords

formal methodsZ notationMC/DCRC/DCsoftware testing criteria

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)