Misty Davies

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Active Learning

Image Thresholding

Top Venues

AAAI Spring Symposia

Publications

Brenton Blair, Herbert K. H. Lee, Misty Davies
Real-Time Detection of In-flight Aircraft Damage. J. Classif. 34 (3) (2017)
Joseph Krall, Tim Menzies, Misty Davies
Learning Mitigations for Pilot Issues When Landing Aircraft (via Multiobjective Optimization and Multiagent Simulations). IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. CoRR (2015)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. FM (2015)
Joseph Krall, Tim Menzies, Misty Davies
GALE: Geometric Active Learning for Search-Based Software Engineering. IEEE Trans. Software Eng. 41 (10) (2015)
Misty Davies, Lyle N. Long
Special Issue on Software Challenges in Aerospace. J. Aerosp. Inf. Syst. 11 (10) (2014)
Joseph Krall, Tim Menzies, Misty Davies
Learning the Task Management Space of an Aircraft Approach Model. AAAI Spring Symposia (2014)
Misty Davies, Corina S. Pasareanu, Vishwanath Raman
Symbolic Execution Enhanced System Testing. VSTTE (2012)
Yuning He, Herbert K. H. Lee, Misty Davies
Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation. Infotech@Aerospace (2012)
Gregory Gay, Tim Menzies, Misty Davies, Karen Gundy-Burlet
Automatically finding the control variables for complex system behavior. Autom. Softw. Eng. 17 (4) (2010)