Karen Gundy-Burlet

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 1

Top Topics

International Standard

Widely Accepted

Top Venues

Publications

Karen Gundy-Burlet
The Use of Standards on the LADEE Mission. Computer 48 (5) (2015)
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet
Helping system engineers bridge the peaks. TwinPeaks (2014)
Gregory Gay, Tim Menzies, Misty Davies, Karen Gundy-Burlet
Automatically finding the control variables for complex system behavior. Autom. Softw. Eng. 17 (4) (2010)
Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett
Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE (2008)
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)
Karen Gundy-Burlet
Augmentation of an Intelligent Flight Control System for a Simulated C-17 Aircraft. J. Aerosp. Comput. Inf. Commun. 1 (12) (2004)