Empirical evaluation of the tarantula automatic fault-localization technique | Synapse