Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations | IEEE Conference Publication | IEEE Xplore