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]
@inproceedings{LiCWYGY22, title = {Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning}, author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang}, year = {2022}, doi = {10.1145/3533767.3534412}, url = {https://doi.org/10.1145/3533767.3534412}, researchr = {https://researchr.org/publication/LiCWYGY22}, cites = {0}, citedby = {0}, pages = {506-518}, booktitle = {ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022}, editor = {Sukyoung Ryu and Yannis Smaragdakis}, publisher = {ACM}, isbn = {978-1-4503-9379-9}, }