Are mutation scores correlated with real fault detection? | Synapse