Enhancing Spectrum-Based Fault Localization Using Fault Influence Propagation | Synapse