Lightweight fault-localization using multiple coverage types | Synapse