- [1]杨克,贺也平,马恒太,王雪飞.精准执行可达性分析:理论与应用[J].软件学报,2018,29(1):1-22.
- [2]李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东.C/C++程序静态内存泄漏警报自动确认方法[J].软件学报,2017,28(4):827-844.
- [3]段沛博,张长胜,张斌.分布式约束优化方法研究进展[J].软件学报,2016,27(2):264-279.
- [4]林运国,李永明.Exogenous量子马尔可夫链及其可达性分析[J].软件学报,2016,27(12):2994-3002.
- [5]马春燕,李尚儒,王慧朝,张磊,张涛.敏感变量和感知机结合的测试预言生成方法[J].软件学报,2019,30(5):1450-1463.
- [6]张兴,冯超,雷菁,唐朝京.一种面向模糊测试的GUI程序空转状态实时检测方法[J].软件学报,2018,29(5):1288-1302.
- [7]何钦铭,王申康,俞瑞钊.利用算符分析的问题求解[J].软件学报,1994,5(5):46-51.
- [8]顾庆,陈道蓄,于勐,谢立,孙钟秀.基于事件约束的分布式程序正确性测试[J].软件学报,2000,11(8):1035-1040.
- [9]杨夏妮,龙法宁,张远夏.基于约束优化的Petri网可达性分析[J].计算机应用,2013,33(4).
- [10]王雷,陈归,金茂忠.基于约束分析与模型检测的代码安全漏洞检测方法研究[J].计算机研究与发展,2011,48(9).
- [11]基于上下文定界的递归队列并发程序可达性分析[J].计算机学报
- [12]李慧芳,李人厚,陈浩勋.时间约束Petri网的状态可达及可调度分析算法[J].计算机工程与应用,2000,36(7):59-61,70.
- [13]张晓东,郑庆华,刘烃,俞乐晨,刘沛,杨子江.多线程程序数据竞争检测与证据生成方法[J].计算机工程与科学,2014,36(11):2047-2053.
- [14]崔展齐,王林章,李宣东.一种目标制导的混合执行测试方法[J].计算机学报,2011,34(6).
- [15]陈成,何玉庆,卜春光,韩建达.基于四阶贝塞尔曲线的无人车可行轨迹规划[J].自动化学报,2015,41(3):486-496.
- [16]蒋勇,王波兴,陈立平.三维几何约束求解的自由度归约算法[J].计算机辅助设计与图形学学报,2003,15(9):1128-1133.
- [17]杨宇鹏,欧阳丹彤,蔡敦波,吕帅.基于Conformant Fast-Forward规划系统的析取目标处理方法[J].计算机研究与发展,2008,45(12).
- [18]李想,范玉顺,王宏安,乔颖.实时复杂事件处理的最坏响应时间估算[J].计算机研究与发展,2012,49(10):2054-2065.
- [19]张,聚,王万良.基于动态规划的约束优化问题多参数规划求解方法及应用[J].控制理论与应用,2008,25(6):1135-1138.
- [20]高兴泉,陈虹.时域约束T-S模糊系统的H控制[J].信息与控制,2009,38(2):1-1.