| |
| 2008 | ||
|---|---|---|
| 2 | EE | Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett: Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE 2008: 497-498 |
| 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 | Tony Barrett | [2] |
| 2 | David H. Bushnell | [1] |
| 3 | Michael R. Lowry | [1] |
| 4 | Peter C. Mehlitz | [1] |
| 5 | Tim Menzies | [2] |
| 6 | Mark Pape | [1] |
| 7 | Corina S. Pasareanu | [1] [2] |
| 8 | Suzette Person | [1] |
| 9 | Johann Schumann | [2] |