Augmentation of an Intelligent Flight Control System for a Simulated C-17 Aircraft. - Karen Gundy-Burlet (J. Aerosp. Comput. Inf. Commun., 2004)

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. - Corina S. Pasareanu; Peter C. Mehlitz; David H. Bushnell; Karen Gundy-Burlet; Michael R. Lowry; Suzette Person; Mark Pape (ISSTA, 2008)

Tool Support for Parametric Analysis of Large Software Simulation Systems. - Johann Schumann; Karen Gundy-Burlet; Corina S. Pasareanu; Tim Menzies; Tony Barrett (ASE, 2008)

Automatically finding the control variables for complex system behavior. - Gregory Gay 002; Tim Menzies; Misty D. Davies; Karen Gundy-Burlet (Autom. Softw. Eng., 2010)

Helping system engineers bridge the peaks. - Neha Rungta; Oksana Tkachuk; Suzette Person; Jason Biatek; Michael W. Whalen; Joseph Castle; Karen Gundy-Burlet (TwinPeaks, 2014)

The Use of Standards on the LADEE Mission. - Karen Gundy-Burlet (Computer, 2015)