 | 2010 |
| 3 |  | Gregory Gay,
Tim Menzies,
Misty Davies,
Karen Gundy-Burlet:
Automatically finding the control variables for complex system behavior.
Autom. Softw. Eng. 17(4): 439-468 (2010) |
| 2008 |
| 2 |  | 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 |  | 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 |