BugRedux: reproducing field failures for in-house debugging
Automated Whitebox Fuzz Testing