BugRedux: Reproducing field failures for in-house debugging | IEEE Conference Publication | IEEE Xplore