Mutation testing in UTP

DOI10.1007/S00165-008-0083-6MaRDI QIDQ1019021zbMATH OpenOpenAlexFDO

Authors Bernhard K. Aichernig, He Jifeng

Publication date 27 May 2009

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

Full work available at URL https://doi.org/10.1007/s00165-008-0083-6

zbMATH Keywords

refinement calculusmutation testingspecification-based testingunifying theories of programmingalgebra of programmingfault-based testing

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Recommendations

• Model-Based Mutation Testing of Reactive Systems
• Semantic mutation testing
• Formal Approaches to Software Testing
• Mutation testing in the refinement calculus
• Mutation at the multi-class and system levels

Cites work

• scientific article; zbMATH DE number 1566503 (Why is no real title available?)
• scientific article; zbMATH DE number 1949626 (Why is no real title available?)
• scientific article; zbMATH DE number 2090128 (Why is no real title available?)
• scientific article; zbMATH DE number 795680 (Why is no real title available?)
• Mutation testing in the refinement calculus
• Program testing by specification mutation
• Testing algebraic data types and processes: A unifying theory
• Testing equivalences for processes
• The B-Book

Cited in

(8)

• Interface mutation test adequacy criterion: An empirical evaluation
• Formal Approaches to Software Testing
• Semantic mutation testing
• Connectors as designs: modeling, refinement and test case generation
• Mutation testing in the refinement calculus
• Concept analysis based approach to statistical web testing
• Model-Based Mutation Testing of Reactive Systems
• Applying formal verification to an open-source real-time operating system

This page was built for publication: Mutation testing in UTP

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