Using Constraints for Equivalent Mutant Detection

Simona Nica, Franz Wotawa

In mutation testing the question whether a mutant is equivalent to its program is important in order to compute the correct mutation score. Unfortunately, answering this question i…