LI Shuo-Chuan
College of Intelligence and Computing, Tianjin University, Tianjin 300350, ChinaWANG Zan
College of Intelligence and Computing, Tianjin University, Tianjin 300350, ChinaMA Ming-Xu
College of Intelligence and Computing, Tianjin University, Tianjin 300350, ChinaCHEN Xiang
School of Information Science and Technology, Nantong University, Nantong 226019, ChinaZHAO Ying-Quan
College of Intelligence and Computing, Tianjin University, Tianjin 300350, ChinaWANG Hai-Chi
College of Intelligence and Computing, Tianjin University, Tianjin 300350, ChinaWANG Hao-Yu
College of Intelligence and Computing, Tianjin University, Tianjin 300350, China李硕川,王赞,马明旭,陈翔,赵英全,王海弛,王昊宇. GC-MCR:有向图约束指导的并发缺陷检测方法.软件学报,2023,34(8):3485-3506
Copy