Sciweavers

Share
ENTCS
2002

Contract-based mutation testing in the refinement calculus

9 years 2 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that nt and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express the concepts like contracts, useful mutations, test-cases and test-coverage. Key words: formal methods, formal specifications, mutation refinement, abstraction, test-case synthesis, test-coverage.
Bernhard K. Aichernig
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Bernhard K. Aichernig
Comments (0)
books