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