| Helping system engineers bridge the peaks | 2 | 0.36 | 2014 |
| Automatically finding the control variables for complex system behavior | 11 | 0.80 | 2010 |
| Combining unit-level symbolic execution and system-level concrete execution for testing nasa software | 135 | 5.13 | 2008 |
| Augmentation of an Intelligent Flight Control System for a Simulated C-17 Aircraft. | 2 | 0.52 | 2004 |
