Peter Ohmann
Peter Ohmann
College of St. Benedict & St. John's University
Verified email at - Homepage
Cited by
Cited by
Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging
P Ohmann, B Liblit
Automated Software Engineering 24 (4), 865-904, 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
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
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
An Assessment of Oral Exams in Introductory CS
P Ohmann
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
CSIclipse: presenting crash analysis data to developers
P Ohmann, B Liblit
ETX 2015 Proceedings of the on Eclipse Technology eXchange, 7-12, 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
Making your crashes work for you (doctoral symposium)
P Ohmann
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
Encoding Optimal Customized Coverage Instrumentation
P Ohmann, DB Brown, N Neelakandan, J Linderoth, B Liblit
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
CSI: crash scene investigation
P Ohmann
Proceedings of the 2013 companion publication for conference on Systems …, 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
Vertx: Automated Validation of Binary Transformations
D Gopan, P Ohmann, D Melski
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software …, 2017
Crash Scene Investigation: Instrumentation and Postmortem Analysis for Deployed Applications
P Ohmann
The University of Wisconsin-Madison, 2017
Cores, Debugging, and Coverage
P Ohmann, B Liblit
The system can't perform the operation now. Try again later.
Articles 1–15