David H. Bushnell

	2009
2		David H. Bushnell: Book Review. Scientific Programming 17(3): 275-277 (2009)
	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	Karen Gundy-Burlet	[1]
2	Michael R. Lowry	[1]
3	Peter C. Mehlitz	[1]
4	Mark Pape	[1]
5	Corina S. Pasareanu	[1]
6	Suzette Person	[1]