Browsing CS Technical Reports by Author "Ohmann, Peter"
Now showing items 1-3 of 3
-
Cores, Debugging, and Coverage
Ohmann, Peter; Liblit, Ben (2015-06-04)Debugging is difficult and costly, especially for production failures. To aid developers, we enhance core memory dumps produced by crashing applications with lightweight, tunable tracing. We propose two complementary ... -
Encoding Optimal Customized Coverage Instrumentation
Ohmann, Peter; Brown, David Bingham; Neelakandan, Naveen; Linderoth, Jeff; Liblit, Ben (2016-08-26)Program coverage is an important software quality metric. Coverage is most commonly gathered in the testing lab during development. However, developers also sometimes use inexpensive forms of program coverage in ... -
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 ...