Is operator-based mutant selection superior to random mutant selection? | Synapse