[1] |
于畅, 王雅文, 林欢, 宫云战. 基于故障检测上下文的等价变异体识别算法[J]. 计算机研究与发展, 2021, 58(1): 83-97. |
[2] |
徐志伟, 王一帆, 赵永威, 李春典. 算礼:探索计算系统的可分析抽象[J]. 计算机研究与发展, 2020, 57(5): 897-905. |
[3] |
于剑. 图灵测试的明与暗[J]. 计算机研究与发展, 2020, 57(5): 906-911. |
[4] |
刘奇旭, 刘心宇, 罗成, 王君楠, 陈浪平, 刘嘉熹. 基于双向循环神经网络的安卓浏览器指纹识别方法[J]. 计算机研究与发展, 2020, 57(11): 2294-2311. |
[5] |
邹伟,高峰,颜运强. 基于QEMU的动态二进制插桩技术[J]. 计算机研究与发展, 2019, 56(4): 730-741. |
[6] |
孙昌爱,王真,潘琳. 面向WS-BPEL程序的变异测试优化技术[J]. 计算机研究与发展, 2019, 56(4): 895-905. |
[7] |
黄桦烽,王嘉捷,杨轶,苏璞睿,聂楚江,辛伟. 有限资源条件下的软件漏洞自动挖掘与利用[J]. 计算机研究与发展, 2019, 56(11): 2299-2314. |
[8] |
欧阳丹彤,陈晓艳,叶靖,邓召勇,张立明. 基于极小碰集求解算法的测试向量集约简[J]. 计算机研究与发展, 2019, 56(11): 2448-2457. |
[9] |
薛瑞,苗福涛,叶笑春,孙凝晖,徐文星. 面向处理器微体系结构评估的高通量MicroBenchmark研究[J]. 计算机研究与发展, 2018, 55(7): 1569-1583. |
[10] |
卓欣欣, 白晓颖, 许静, 李恩鹏, 刘喻, 康介恢, 宋文莉. 服务接口测试自动化工具的研究[J]. 计算机研究与发展, 2018, 55(2): 358-376. |
[11] |
王翀,吕荫润,陈力,王秀利,王永吉,. SMT求解技术的发展及最新应用研究综述[J]. 计算机研究与发展, 2017, 54(7): 1405-1425. |
[12] |
禹振,苏小红,邱景. 使用锁分配图动态检测混合死锁[J]. 计算机研究与发展, 2017, 54(7): 1557-1568. |
[13] |
苏宁,郭俊霞,李征,赵瑞莲. 基于EFSM不定型切片测试用例自动生成的研究[J]. 计算机研究与发展, 2017, 54(3): 669-680. |
[14] |
张密,杨力,张俊伟. FuzzerAPP:Android应用程序组件通信鲁棒性测试[J]. 计算机研究与发展, 2017, 54(2): 338-347. |
[15] |
禹振,苏小红,齐鹏,马培军. 基于未来锁集的死锁规避[J]. 计算机研究与发展, 2017, 54(2): 428-445. |