Peter C. Mehlitz

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 2

Top Topics

Java Programming

Symbolic Execution

Top Venues

Autom. Softw. Eng.

Int. J. Softw. Tools Technol. Transf.

ACM SIGSOFT Softw. Eng. Notes

Publications

Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
Concurrent runtime verification of data rich events. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
Actor-Based Runtime Verification with MESA. RV (2020)
Nastaran Shafiei, Peter C. Mehlitz
Extending JPF to verify distributed systems. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Peter C. Mehlitz, Neha Rungta, Willem Visser
A hands-on Java PathFinder tutorial. ICSE (2013)
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20 (3) (2013)
Milos Gligoric, Peter C. Mehlitz, Darko Marinov
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST (2012)
Nastaran Shafiei, Peter C. Mehlitz
Modeling class loaders in Java PathFinder version 7. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma
JPF-AWT: Model checking GUI applications. ASE (2011)
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA (2008)
Peter C. Mehlitz, John Penix
Design for Verification with Dynamic Assertions. SEW (2005)
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
Model Checking Real Time Java Using Java PathFinder. ATVA (2005)
Willem Visser, Peter C. Mehlitz
Model Checking Programs with Java PathFinder. SPIN (2005)