Now showing items 1-1 of 1

    • Supporting Proofs for Control-Flow Recovery from Partial Failure Reports 

      Ohmann, Peter; Brooks, Alexander; D'Antoni, Loris; Liblit, Ben (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 ...