Peter C. Mehlitz

According to our database, Peter C. Mehlitz authored at least 12 papers between 2005 and 2023.

Collaborative distances:

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

2023

Concurrent runtime verification of data rich events.

Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz

Int. J. Softw. Tools Technol. Transf., August, 2023

2020

Actor-Based Runtime Verification with MESA.

Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz

Proceedings of the Runtime Verification - 20th International Conference, 2020

2014

Extending JPF to verify distributed systems.

Nastaran Shafiei, Peter C. Mehlitz

ACM SIGSOFT Softw. Eng. Notes, 2014

2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.

Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta

Autom. Softw. Eng., 2013

A hands-on Java PathFinder tutorial.

Peter C. Mehlitz, Neha Rungta, Willem Visser

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Modeling class loaders in Java PathFinder version 7.

Nastaran Shafiei, Peter C. Mehlitz

ACM SIGSOFT Softw. Eng. Notes, 2012

X10X: Model Checking a New Programming Language with an "Old" Model Checker.

Milos Gligoric, Peter C. Mehlitz, Darko Marinov

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

JPF-AWT: Model checking GUI applications.

Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2008

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.

Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2005

Model Checking Programs with Java PathFinder.

Willem Visser, Peter C. Mehlitz

Proceedings of the Model Checking Software, 2005

Design for Verification with Dynamic Assertions.

Peter C. Mehlitz, John Penix

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Model Checking Real Time Java Using Java PathFinder.

Gary Lindstrom, Peter C. Mehlitz, Willem Visser

Proceedings of the Automated Technology for Verification and Analysis, 2005