MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests.

Michael Baer, Norbert Oster, Michael Philippsen

Browse the full ICST paper archive.