BugRedux: Reproducing field failures for in-house debugging | Synapse