Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation

Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
January, 2015
Cite DOI
Type
Conference paper
Publication
Proceedings of the 7th Asia-Pacific Symposium on Internetware