Mutants as Patches: Towards a formal approach to Mutation Testing

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.

Bibliographic Details
Main Authors: Lewowski Tomasz, Madeyski Lech
Format: Article
Language:English
Published: Sciendo 2019-12-01
Series:Foundations of Computing and Decision Sciences
Subjects:
Online Access:https://doi.org/10.2478/fcds-2019-0019