Improving Run-Time Bug Detection in Aviation Software Using Program Slicing. - Huang, Hu.; Guyer, Samuel Z.; Rife, Jason H. (Tufts University. Tisch Library., 2019)