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

Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation. - Yuning He; Herbert K. H. Lee; Misty D. Davies (Infotech@Aerospace, 2012)

Symbolic Execution Enhanced System Testing. - Misty D. Davies; Corina S. Pasareanu; Vishwanath Raman (VSTTE, 2012)

Learning the Task Management Space of an Aircraft Approach Model. - Joseph Krall; Tim Menzies; Misty D. Davies (AAAI Spring Symposia, 2014)

Special Issue on Software Challenges in Aerospace. - Misty D. Davies; Lyle N. Long (J. Aerosp. Inf. Syst., 2014)

Verifying the Safety of a Flight-Critical System. - Guillaume Brat; David H. Bushnell; Misty D. Davies; Dimitra Giannakopoulou; Falk Howar; Temesghen Kahsai (FM, 2015)

GALE: Geometric Active Learning for Search-Based Software Engineering. - Joseph Krall; Tim Menzies; Misty D. Davies (IEEE Trans. Software Eng., 2015)

Learning Mitigations for Pilot Issues When Landing Aircraft (via Multiobjective Optimization and Multiagent Simulations). - Joseph Krall; Tim Menzies; Misty D. Davies (IEEE Trans. Hum. Mach. Syst., 2016)

Real-Time Detection of In-flight Aircraft Damage. - Brenton Blair; Herbert K. H. Lee; Misty D. Davies (J. Classif., 2017)

Human Interfaces and Management of Information (HIMI) Challenges for "In-Time" Aviation Safety Management Systems (IASMS). - Lawrence J. Prinzel; Paul Krois; Kyle K. Ellis; Nikunj C. Oza; Robert W. Mah; Chad L. Stephens; Misty D. Davies; Samantha I. Infeld (HCI (5), 2022)