Foundations of Computing and Decision Sciences (Dec 2019)
Mutants as Patches: Towards a formal approach to Mutation Testing
Abstract
Background: Mutation testing is a widely explored technique used to evaluate the quality of software tests, but little attention has been given to its mathematical foundations.
Keywords