Efficient mutation testing by checking invariant violations.

David Schuler Valentin Dallmeier Andreas Zeller Efficient mutation testing by checking invariant violations. 69-80 2009 ISSTA http://doi.acm.org/10.1145/1572272.1572282 conf/issta/2009 db/conf/issta/issta2009.html#SchulerDZ09