2019年第30卷第2期目录
方法级别的细粒度软件缺陷定位方法张文,李自强,杜宇航,杨叶2019,30(2):195-210 [摘要(4020)] [PDF(4116)1.88 M][HTML(793)]面向Android应用隐私泄露检测的多源污点分析技术王蕾,周卿,何冬杰,李炼,冯晓兵2019,30(2):211-230 [摘要(3825)] [PDF(5867)2.36 M][HTML(1558)]用于验证多智能体系统的APTL模型检测器王海洋,段振华,田聪2019,30(2):231-243 [摘要(3405)] [PDF(3428)1.41 M][HTML(1007)]代表点一致性约束的多视角模糊聚类算法张远鹏,周洁,邓赵红,钟富礼,蒋亦樟,杭文龙,王士同2019,30(2):282-301 [摘要(2724)] [PDF(3224)2.75 M][HTML(932)]VANET中流调度与路径选择联合优化的传输策略强敏,陈晓江,尹小燕,贾茹昭,徐丹,汤战勇,房鼎益2019,30(2):346-361 [摘要(2288)] [PDF(3061)1.73 M][HTML(800)]一个支持错误定位的批处理数据拥有性证明方案庞晓琼,王田琪,陈文俊,任孟琦2019,30(2):362-380 [摘要(3130)] [PDF(3307)2.00 M][HTML(836)]针对层次化名字路由的聚合机制许志伟,陈波,张玉军2019,30(2):381-398 [摘要(2958)] [PDF(3265)2.00 M][HTML(762)]基于可重随机化混淆电路的可验证计算赵青松,曾庆凯,刘西蒙,徐焕良2019,30(2):399-415 [摘要(3903)] [PDF(4392)1.72 M][HTML(896)]一种面向人脸活体检测的对抗样本生成算法马玉琨,毋立芳,简萌,刘方昊,杨洲2019,30(2):469-480 [摘要(4496)] [PDF(5759)1.66 M][HTML(1085)]多核环境下基于图模型的实时规则调度方法王娟娟,乔颖,熊金泉,王宏安2019,30(2):481-494 [摘要(4022)] [PDF(3775)1.62 M][HTML(963)]
程序自动修复:关键问题及技术李斌,贺也平,马恒太2019,30(2):244-265 [摘要(3906)] [PDF(7624)2.11 M][HTML(2569)]增强上下文的错误定位技术张卓,谭庆平,毛晓光,雷晏,常曦,薛建新2019,30(2):266-281 [摘要(3866)] [PDF(4641)2.08 M][HTML(2018)]互联网端到端多路径传输跨层优化研究综述江卓,吴茜,李贺武,吴建平2019,30(2):302-322 [摘要(3647)] [PDF(5226)2.19 M][HTML(3573)]空间延迟/中断容忍网络的接触图路由研究综述徐双,王兴伟,黄敏,张琳琳2019,30(2):323-345 [摘要(3376)] [PDF(6640)3.06 M][HTML(2857)]视觉注意力检测综述王文冠,沈建冰,贾云得2019,30(2):416-439 [摘要(4523)] [PDF(11972)2.65 M][HTML(3248)]基于深度学习的图像语义分割方法综述田萱,王亮,丁琪2019,30(2):440-468 [摘要(7601)] [PDF(17504)3.27 M][HTML(4444)]