Improving Run-Time Bug Detection in Aviation Software Using Program Slicing
Hu Huang, Samuel Z. Guyer, Jason H. Rife · 2017
We present an improvement to run-time bug detection by using program slicing instead of a heuristic to identify relevant program variables to monitor. Our results show that selecting variables using the program slice produces higher sensitivity compared to selecting variables heuristically. Moreover, at least in the experiments conducted, program slicing resulted in more consistent detection, with lower variance in sensitivity as compared to the heuristic approach.