Using automated program repair for evaluating the effectiveness of fault localization techniques | Synapse