李硕川(1999-),男,硕士生,CCF学生会员,主要研究领域为并发缺陷检测,系统软件分析;赵英全(1994-),男,博士生,主要研究领域为编译器测试,JVM测试,并发测试;王赞(1979-),男,博士,副教授,CCF专业会员,主要研究领域为软件测试,机器学习;王海弛(1996-),男,博士生,主要研究领域为系统软件分析;马明旭(1999-),男,学士,主要研究领域为并发测试;王昊宇(1999-),男,硕士生,CCF学生会员,主要研究领域为并发缺陷检测,编译器测试;陈翔(1980-),男,博士,副教授,CCF高级会员,主要研究领域为智能软件工程,软件仓库挖掘,软件测试与维护.
王赞,E-mail:wangzan@tju.edu.cn
国家自然科学基金(61872263);天津市智能制造专项资金(20201180)
李硕川,王赞,马明旭,陈翔,赵英全,王海弛,王昊宇. GC-MCR:有向图约束指导的并发缺陷检测方法.软件学报,2023,34(8):3485-3506
复制