scientific article; zbMATH DE number 2080006

MaRDI QIDQ4472188zbMATH OpenFDO

Authors Sergiy A. Vilkomir, Jonathan P. Bowen

Publication date 3 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720291.htm

Mathematics Subject Classification ID

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

Recommendations

• From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
• scientific article; zbMATH DE number 13941
• Testing criteria and a system for evaluation of the completeness of a test set
• Selecting a testing criterion based on quantitative analysis
• An optimal statistical testing policy for software reliability demonstration of safety-critical systems

Cited in

(5)

• Selecting a testing criterion based on quantitative analysis
• MC/DC test cases generation based on BDDs
• From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
• Complementary Criteria for Testing Temporal Logic Properties
• Testing criteria and a system for evaluation of the completeness of a test set

Describes a project that uses

Uses Software

• SPARK

This page was built for publication:

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