Sufficient mutation operators for measuring test effectiveness | Synapse