Mutant hierarchies support selective mutation

MaRDI QIDQ5389010zbMATH OpenFDO

Authors Kalpesh Kapoor

Publication date 24 April 2012

zbMATH Keywords

fault-based testingfirst-order mutantsmutation testingselective mutation

Mathematics Subject Classification ID

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

Recommendations

• Formal Approaches to Software Testing
• Mutation at the multi-class and system levels
• Semantic mutation testing
• An analysis of the coupling effect. I: Single test data.
• Model-Based Higher-Order Mutation Analysis

Cited in

(5)

• An analysis of the coupling effect. I: Single test data.
• Interface mutation test adequacy criterion: An empirical evaluation
• Semantic mutation testing
• Mutation at the multi-class and system levels
• Formal Approaches to Software Testing

This page was built for publication: Mutant hierarchies support selective mutation

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