LU Fa-Ming
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaHUANG Ying
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China;Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences, Shenzhen 518055, ChinaZENG Qing-Tian
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaBAO Yun-Xia
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaTANG Meng-Fan
College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, ChinaTP311
鲁法明,黄莹,曾庆田,包云霞,唐梦凡.基于Petri网展开的多线程程序数据竞争检测与重演.软件学报,2023,34(8):3726-3744
Copy