Page 126 - 《软件学报》2021年第6期
P. 126
1700 Journal of Software 软件学报 Vol.32, No.6, June 2021
[28] Yuan YH, Li Y, Wang ZG. A matrix algorithm for enumerating all circuits of a graph. Journal of Northwestern Polytechnical
University, 1992,10(2):204−210 (in Chinese with English abstract).
[29] Li B, He YP, Ma HT. Automatic program repair: Key problems and technologies. Ruan Jian Xue Bao/Journal of Software, 2019,
30(2):244−265 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/5657.htm [doi: 10.13328/j.cnki.jos.005657]
[30] Wei HM, Gao J, Qing P, Yu K, Fang YF, Li ML. MPI-RCDD: A framework for MPI runtime communication deadlock detection.
Journal of Computer Science and Technology, 2020,35(2):395−411. [doi: 10.1007/s11390-020-9701-4]
[31] Lu FM, Tao RR, Du YY, Zeng QT, Bao YX. Deadlock detection-oriented unfolding of unbounded Petri nets. Information Sciences,
2019,497:1−22. https://doi.org/10.1016/j.ins.2019.05.021
[32] Lu FM, Zeng QT, Zhou MC, Bao YX, Duan H. Complex reachability trees and their application to deadlock detection for
unbounded Petri nets. IEEE Trans. on Systems, Man and Cybernetics: Systems, 2019,49(6):1164−1174. [doi: 10.1109/TSMC.2017.
2692262]
[33] Zhu JQ, Sun HZ, Huang YX, Liu M. Delay satisfied route selection and real-time update scheduling in software defined networking.
Ruan Jian Xue Bao/Journal of Software, 2019,30(11):3440−3456 (in Chinese with English abstract). http://www.jos.org.cn/1000-
9825/5655.htm [doi: 10.13328/j.cnki.jos.005655]
附中文参考文献:
[1] 苏小红,禹振,王甜甜,马培军.并发缺陷暴露、检测与规避研究综述.计算机学报,2015,395(11):93−111. [doi: 10.11897/SP.J.1016.
2015.02215]
[2] 张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.程序分析研究进展.软件学报,2019,30(1):80−109.
http://www.jos.org.cn/1000-9825/5651.htm [doi: 10.13328/j.cnki.jos.005651]
[28] 袁亚华,李泳,王自果.一种求网络所有回路的矩阵方法.西北工业大学学报,1992,10(2):204−210.
[29] 李斌,贺也平,马恒太.程序自动修复:关键问题及技术.软件学报,2019,30(2):244−265. http://www.jos.org.cn/1000-9825/5657.htm
[doi: 10.13328/j.cnki.jos.005657]
[33] 朱金奇,孙华志,黄永鑫,刘明.软件定义网络中延迟满足的路由选择与实时调度更新.软件学报,2019,30(11):3440−3456.
http://www.jos.org.cn/1000-9825/5655.htm [doi: 10.13328/j.cnki.jos.005655]
鲁法明(1981－),男,博士,副教授,博士生 曾庆田(1976－),男,博士,教授,博士生导
导师,CCF 专业会员,主要研究领域为 Petri 师,CCF 高级会员,主要研究领域为 Petri
网理论与应用,并发系统建模与分析,业务 网理论与应用,并发系统建模与分析,业务
过程管理与决策支持. 过程管理与决策支持.
郑佳静(1996－),女,硕士生,CCF 学生会 段华(1976－),女,博士,副教授,主要研究
员,主要研究领域为软件形式化方法,并行 领域为形式化方法,Petri 网.
程序验证.
包云霞(1979－),女,讲师,主要研究领域为 王晓宇(1999－),男,本科生,主要研究领域
形式化方法,Petri 网. 为软件形式化方法,并行程序验证.
