Karen Gundy-Burlet

According to our database, Karen Gundy-Burlet authored at least 6 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The Use of Standards on the LADEE Mission.

Karen Gundy-Burlet

Computer, 2015

2014

Helping system engineers bridge the peaks.

Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

2010

Automatically finding the control variables for complex system behavior.

Gregory Gay, Tim Menzies, Misty D. Davies, Karen Gundy-Burlet

Autom. Softw. Eng., 2010

2008

Tool Support for Parametric Analysis of Large Software Simulation Systems.

Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

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

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2004

Augmentation of an Intelligent Flight Control System for a Simulated C-17 Aircraft.

Karen Gundy-Burlet

J. Aerosp. Comput. Inf. Commun., 2004