Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li. Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng., 48(2):346-363, 2022. [doi]
@article{WangGWYZL22,
title = {Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software},
author = {Yu Wang and Fengjuan Gao and Linzhang Wang and Tingting Yu and Jianhua Zhao and Xuandong Li},
year = {2022},
doi = {10.1109/TSE.2020.2989171},
url = {https://doi.org/10.1109/TSE.2020.2989171},
researchr = {https://researchr.org/publication/WangGWYZL22},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {48},
number = {2},
pages = {346-363},
}