ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution | IEEE Journals & Magazine | IEEE Xplore