并发缺陷检测技术研究进展 (Research Progress on Techniques for Concurrency Bug Detection)

Lili Bo, Shujuan Jiang, Yanmei Zhang, Xingya Wang, Qiao Yu. 并发缺陷检测技术研究进展 (Research Progress on Techniques for Concurrency Bug Detection). 计算机科学, 46(5):13-20, 2019. [doi]

Abstract

Abstract is missing.