Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging P Ohmann, B Liblit Automated Software Engineering 24 (4), 865-904, 2016 | 34 | 2016 |
Lightweight control-flow instrumentation and postmortem analysis in support of debugging P Ohmann, B Liblit Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International …, 2013 | 34* | 2013 |
Optimizing customized program coverage P Ohmann, DB Brown, N Neelakandan, J Linderoth, B Liblit Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 24 | 2016 |
Control-flow recovery from partial failure reports P Ohmann, A Brooks, L D'Antoni, B Liblit Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 18 | 2017 |
An Assessment of Oral Exams in Introductory CS P Ohmann Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019 | 13 | 2019 |
CSIclipse: presenting crash analysis data to developers P Ohmann, B Liblit ETX 2015 Proceedings of the on Eclipse Technology eXchange, 7-12, 2015 | 7 | 2015 |
Recovering execution data from incomplete observations P Ohmann, DB Brown, B Liblit, T Reps Proceedings of the 13th International Workshop on Dynamic Analysis, 19-24, 2015 | 5 | 2015 |
Making your crashes work for you (doctoral symposium) P Ohmann Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 4 | 2015 |
Encoding Optimal Customized Coverage Instrumentation P Ohmann, DB Brown, N Neelakandan, J Linderoth, B Liblit | 3 | 2016 |
Supporting Proofs for Control-Flow Recovery from Partial Failure Reports P Ohmann, A Brooks, L D’Antoni, B Liblit Technical Report 1845, University of Wisconsin–Madison, 2017 | 2 | 2017 |
CSI: crash scene investigation P Ohmann Proceedings of the 2013 companion publication for conference on Systems …, 2013 | 2 | 2013 |
Interdisciplinary and Innovative: A Nursing and Computer Science Collaboration to Create a Barcode Medication Administration System J Berndt, P Ohmann, I Rahal, L Hoeschen, A Rothstein Nursing Education Perspectives, 2022 | | 2022 |
Vertx: Automated Validation of Binary Transformations D Gopan, P Ohmann, D Melski Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software …, 2017 | | 2017 |
Crash Scene Investigation: Instrumentation and Postmortem Analysis for Deployed Applications P Ohmann The University of Wisconsin-Madison, 2017 | | 2017 |
Cores, Debugging, and Coverage P Ohmann, B Liblit | | 2015 |