Efficient mutation testing by checking invariant violations.

David Schuler, Valentin Dallmeier, Andreas Zeller

Browse the full ISSTA paper archive.