Efficiency of mutation operators and selective mutation strategies: an empirical study | Synapse