Effective fault localization via mutation analysis | Synapse