Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang. Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. In Sukyoung Ryu, Yannis Smaragdakis, editors, ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. pages 506-518, ACM, 2022. [doi]
Abstract is missing.