Selective mutation testing for concurrent code | Synapse