Search
Now showing items 1-1 of 1
Supporting Proofs for Control-Flow Recovery from Partial Failure Reports
(2017-04-28)
Debugging post-deployment failures is difficult, in part because failure reports from these applications usually provide only partial information about what occurred during the failing execution. We introduce approaches ...

