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