Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang. Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. In Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume. pages 204-210, IEEE, 2013. [doi]
@inproceedings{WuWCDW13,
title = {Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking},
author = {Xueguang Wu and Yanjun Wen and Liqian Chen and Wei Dong and Ji Wang},
year = {2013},
doi = {10.1109/SERE-C.2013.33},
url = {http://dx.doi.org/10.1109/SERE-C.2013.33},
researchr = {https://researchr.org/publication/WuWCDW13},
cites = {0},
citedby = {0},
pages = {204-210},
booktitle = {Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume},
publisher = {IEEE},
}