Travelled to:1 × Canada
4 × USA
Collaborated with:J.J.Penix N.Rungta W.Visser M.Gligoric D.Marinov O.Tkachuk M.Ujma C.S.Pasareanu D.H.Bushnell K.Gundy-Burlet M.R.Lowry S.Person M.Pape
Talks about:model (3) system (2) execut (2) design (2) level (2) check (2) softwar (1) reliabl (1) program (1) pattern (1)
Person: Peter C. Mehlitz
DBLP: Mehlitz:Peter_C=
Contributed to:
2013
2012
2011
2008
2002Wrote 5 papers:
- ICSE-2013-MehlitzRV #java #tutorial
- A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
- ICST-2012-GligoricMM #model checking #named #programming language
- X10X: Model Checking a New Programming Language with an “Old” Model Checker (MG, PCM, DM), pp. 11–20.
- ASE-2011-MehlitzTU #model checking #named #user interface
- JPF-AWT: Model checking GUI applications (PCM, OT, MU), pp. 584–587.
- ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
- Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
- CBSE-2003-MehlitzP #design pattern #reliability #using #verification
- Design for Verification: Using Design Patterns to Build Reliable Systems (PCM, JJP), p. 10.