Peter Ohmann

According to our database, Peter Ohmann authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Set-Covering Approach to Customized Coverage Instrumentation.

Carla Michini, Peter Ohmann, Ben Liblit, Jeff T. Linderoth

INFORMS J. Comput., 2024

2023

Have You Tried Oral Exams in Your CS Class?

Peter Ohmann, Ed Novak, Scott J. Reckinger, Shanon M. Reckinger

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

SynpleTest: Using Program Synthesis as a Teaching Aid.

Alexa Hennen, Cameron Hahnfeldt, Grace Potter, Mengzhen Li, Peter Ohmann

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2019

An Assessment of Oral Exams in Introductory CS.

Peter Ohmann

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2017

Lightweight control-flow instrumentation and postmortem analysis in support of debugging.

Peter Ohmann, Ben Liblit

Autom. Softw. Eng., 2017

Control-flow recovery from partial failure reports.

Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Vertx: Automated Validation of Binary Transformations.

Denis Gopan, Peter Ohmann, David Melski

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

2016

Optimizing customized program coverage.

Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Recovering execution data from incomplete observations.

Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Making your crashes work for you (doctoral symposium).

Peter Ohmann

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

CSIclipse: presenting crash analysis data to developers.

Peter Ohmann, Ben Liblit

Proceedings of the 2015 Workshop on Eclipse Technology eXchange, 2015

2013

CSI: crash scene investigation.

Peter Ohmann

Proceedings of the SPLASH'13, 2013