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]