Equivalent Mutants: Deductive Verification to the Rescue.

Serge Demeyer, Reiner Hhnle

Browse the full ICST paper archive.