Is operator-based mutant selection superior to random mutant selection? | IEEE Conference Publication | IEEE Xplore