Mutation testing in the refinement calculus

DOI10.1007/S00165-003-0011-8zbMath1093.68605OpenAlexW2051085665MaRDI QIDQ706518

Bernhard K. Aichernig

Publication date: 8 February 2005

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

Full work available at URL: https://doi.org/10.1007/s00165-003-0011-8

zbMATH Keywords

RefinementTest case generationFormal methodsAbstractionFormal specificationsMutation testingTest coverage

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Connectors as designs: modeling, refinement and test case generation ⋮ Mutation testing in UTP ⋮ Model-Based Mutation Testing of Reactive Systems

This page was built for publication: Mutation testing in the refinement calculus