Mark Pape

	2008
1		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

Coauthor Index

1	David H. Bushnell	[1]
2	Karen Gundy-Burlet	[1]
3	Michael R. Lowry	[1]
4	Peter C. Mehlitz	[1]
5	Corina S. Pasareanu	[1]
6	Suzette Person	[1]

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