BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mehlitz:Peter_C=

Contributed to:

ICSE 20132013
ICST 20122012
ASE 20112011
ISSTA 20082008
CBSE 20032002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.