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

• mutation testing
• fault-based testing
• patches
• equivalent mutants