Browsing CS Technical Reports by Subject "regular languages"
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 ...
