Follow
Peter Ohmann
Peter Ohmann
College of St. Benedict & St. John's University
Verified email at csbsju.edu - Homepage
Title
Cited by
Cited by
Year
Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging
P Ohmann, B Liblit
Automated Software Engineering 24 (4), 865-904, 2016
372016
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
37*2013
An Assessment of Oral Exams in Introductory CS
P Ohmann
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
272019
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
272016
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
202017
CSIclipse: presenting crash analysis data to developers
P Ohmann, B Liblit
ETX 2015 Proceedings of the on Eclipse Technology eXchange, 7-12, 2015
62015
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
52015
Encoding Optimal Customized Coverage Instrumentation
P Ohmann, DB Brown, N Neelakandan, J Linderoth, B Liblit
42016
Making your crashes work for you (doctoral symposium)
P Ohmann
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
42015
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
22017
CSI: crash scene investigation
P Ohmann
Proceedings of the 2013 companion publication for conference on Systems …, 2013
22013
A Set-Covering Approach to Customized Coverage Instrumentation
C Michini, P Ohmann, B Liblit, J Linderoth
INFORMS Journal on Computing 36 (1), 21-38, 2024
12024
Oral Exams in CS-Education: Pros and Cons in the Age of AI-Assisted Programming
E Novak, P Ohmann
CCSC Eastern Regional Conference, 2023
2023
SynpleTest: Using Program Synthesis as a Teaching Aid
A Hennen, C Hahnfeldt, G Potter, M Li, P Ohmann
Proceedings of the 54th ACM Technical Symposium on Computer Science …, 2022
2022
Have You Tried Oral Exams in Your CS Class?
P Ohmann, E Novak, S Reckinger, S Reckinger
Proceedings of the 54th ACM Technical Symposium on Computer Science …, 2022
2022
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
The system can't perform the operation now. Try again later.
Articles 1–19