dblp.uni-trier.dewww.uni-trier.de

David H. Bushnell

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)