Mutation testing in the refinement calculus
type: Item
instance of: scholarly article
title: Mutation testing in the refinement calculus
zbMATH Open document ID: 1093.68605
author: Bernhard K. Aichernig
published in: Formal Aspects of Computing
publication date: 2005-02-08T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 2132405
zbMATH Keywords: Abstraction
zbMATH Keywords: Formal methods
zbMATH Keywords: Formal specifications
zbMATH Keywords: Mutation testing
zbMATH Keywords: Refinement
zbMATH Keywords: Test case generation
zbMATH Keywords: Test coverage
MaRDI profile type: Publication
full work available at URL: s00165-003-0011-8
OpenAlex ID: W2051085665
DOI: 10.1007/S00165-003-0011-8
description: scientific article; zbMATH DE number 2132405