Mutants as Patches: Towards a formal approach to Mutation Testing. - Lewowski, Tomasz; Madeyski, Lech (Foundations of Computing & Decision Sciences, 2019)