DFTinker: Detecting and Fixing Double-fetch Bugs in an Automated Way

Yingqi Luo, Pengfei Wang, Xu Zhou and Kai Lu
June 2018
PDF DOI
Type
Conference paper
Publication
the 13th International Conference on Wireless Algorithms, Systems, and Applications,pp 780-785. Tianjin China, Jun.20-22, 2018.