Concepedia

Peter Mehlitz

PM

12

Publications

646

Citations

12

H-Index

2003

Active since

Affiliations

Ames Research Center(Current)

Peter Mehlitz is an author at Ames Research Center specializing in engineering, formal verification, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationVerificationFormal MethodsSoftware TestingSoftware EngineeringProgram AnalysisSoftware Design

Publications per year

2003–2014

12

Publications

12

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

Corina S. Păsăreanu, Peter Mehlitz, David Bushnell et al. · 2008 · 279 citations

Software Maintenance, Java Pathfinder Model, Engineering +25

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

Corina S. Păsăreanu, Willem Visser, David Bushnell et al. · Automated Software Engineering · 2013 · 170 citations

Program Checking, Engineering, Verification +17

Model Based Analysis and Test Generation for Flight Software

Corina S. Păsăreanu, Johann Schumann, Peter Mehlitz et al. · 2009 · 39 citations · Full text

Engineering, Aerospace Simulation, Software Engineering +19

Design for Verification: Using Design Patterns to Build Reliable Systems

Peter Mehlitz, John Penix, Dennis Koga · 2003 · 28 citations

JPF-AWT: Model checking GUI applications

Peter Mehlitz, Oksana Tkachuk, Mateusz Ujma · 2011 · 27 citations

Program Checking, Engineering, Graphical User Interface +21

Rows per page

1–5 of 12