文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Kunpeng Yu
发表
Detecting concurrency vulnerabilities based on partial orders of memory and thread events
Xiapu Luo, Zijiang Yang, Yan Cai, 2021, ESEC/SIGSOFT FSE.