Fault localization using value replacement | Synapse