Model-Based Higher-Order Mutation Analysis

DOI10.1007/978-3-642-17578-7_17MaRDI QIDQ3079800zbMATH OpenOpenAlexFDO

Authors Nevin Güler, Axel Hollmann, Gökhan Suna, Esra Yıldız, Fevzi Belli

Publication date 3 March 2011

Published in Advances in Software Engineering (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11147/2596

zbMATH Keywords

basic mutation operatorscoupling effectevent sequence graphshigher-order mutation analysissoftware testing

Mathematics Subject Classification ID

Theory of software (68N99) Graph theory (including graph drawing) in computer science (68R10) Pattern recognition, speech recognition (68T10)

Recommendations

• Automated Technology for Verification and Analysis
• Mutation testing in the refinement calculus
• Application of mutation analysis to evaluation of program-testing quality

Cites work

• An analysis of the coupling effect. I: Single test data.
• Testing Programs with the Aid of a Compiler

Cited in

(9)

• Application of mutation analysis to evaluation of program-testing quality
• An analysis of the coupling effect. I: Single test data.
• Mutation at the multi-class and system levels
• scientific article; zbMATH DE number 2033520 (Why is no real title available?)
• scientific article; zbMATH DE number 2043472 (Why is no real title available?)
• Using regular grammars for event-based testing
• Mutant hierarchies support selective mutation
• Formal Approaches to Software Testing
• Mutation testing in the refinement calculus

This page was built for publication: Model-Based Higher-Order Mutation Analysis

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