Peter C. Mehlitz

	2012
6		Milos Gligoric, Peter C. Mehlitz, Darko Marinov: X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST 2012: 11-20
	2011
5		Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma: JPF-AWT: Model checking GUI applications. ASE 2011: 584-587
	2008
4		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: 15-26
	2005
3		Gary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
2		Peter C. Mehlitz, John Penix: Design for Verification with Dynamic Assertions. SEW 2005: 285-292
1		Willem Visser, Peter C. Mehlitz: Model Checking Programs with Java PathFinder. SPIN 2005: 27

Coauthor Index

1	David H. Bushnell	[4]
2	Milos Gligoric	[6]
3	Karen Gundy-Burlet	[4]
4	Gary Lindstrom	[3]
5	Michael R. Lowry	[4]
6	Darko Marinov	[6]
7	Mark Pape	[4]
8	Corina S. Pasareanu	[4]
9	John Penix	[2]
10	Suzette Person	[4]
11	Oksana Tkachuk	[5]
12	Mateusz Ujma	[5]
13	Willem Visser	[1] [3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page