GAO Feng-Juan
State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210023, ChinaWANG Yu
State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210023, ChinaZHOU Jin-Guo
ANT Group, Shenzheng 518000, ChinaXU An-Zi
State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210023, ChinaWANG Lin-Zhang
State Key Laboratory for Novel Software Technology(Nanjing University), Nanjing 210023, ChinaWU Rong-Xin
School of Informatics, National Demonstrative Software School(Xiamen University), Xiamen 361005, ChinaZHANG Charles
Department of Computer Science and Engineering, The Hongkong University of Science and Technology, Hongkong, ChinaSU Zhen-Dong
Department of Computer Science(ETH Zurich), Zürich, SwitzerlandNational Natural Science Foundation of China (62032010)
高凤娟,王豫,周金果,徐安孜,王林章,吴荣鑫,张川,苏振东.高精度的大规模程序数据竞争检测方法.软件学报,2021,32(7):2039-2055
Copy