Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. - Yu Wang 093; Junjing Shi; Linzhang Wang; Jianhua Zhao; Xuandong Li (Internetware, 2015)