Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Chao Li' in GoogleThis author has not been identified. Look up 'Rui Chen' in GoogleThis author has not been identified. Look up 'Boxiang Wang' in GoogleThis author has not been identified. Look up 'Tingting Yu' in GoogleThis author has not been identified. Look up 'Dongdong Gao' in GoogleThis author has not been identified. Look up 'Mengfei Yang' in Google

runs on WebDSL