Page 3 - 《软件学报》2024年第6期
P. 3

中国精品科技期刊


                 2013 年全国百强科技期刊   2015 年全国百强科技期刊   中国精品科技期刊        中国计算机学会会刊


                          软  件  学  报                                         第  35 卷第    6 期

                                                                               2024 年  6 月
                             (Ruanjian Xuebao)

                                                        目 次



                 编译技术与编译器设计专题


                 编译技术与编译器设计专题前言 ·········································· 冯晓兵 郝 丹 高耀清 左志强  (2583)

                 DBI-Go: 动态插桩定位 Go 二进制的非法内存引用 ·············· 陈金宝 张 昱 李清伟 丁伯尧  (2585)
                 DDoop: 基于差分式     Datalog  求解的增量指针分析框架 ········ 沈天琪 王熙灶 宾向荣 卜 磊  (2608)

                 位宽感知的寄存器绑定算法 ················································· 高 猛 赵家程 崔慧敏 冯晓兵  (2631)
                 申威众核处理器访存与通信融合编译优化 ············ 方燕飞 李雁冰 董恩铭 王云飞 刘 齐  (2648)

                 AutoConfig: 面向深度学习编译优化的自动配置机制 ················································································
                 ················································································ 张洪滨 周旭林 邢明杰 武延军 赵 琛  (2668)
                 二进制翻译技术综述 ······························· 谢汶兵 田 雪 漆锋滨 武成岗 王 俊 罗巧玲  (2687)

                 面向全分布式智能建筑系统应用程序的并行化编译方法 ··········································································
                 ·················································· 陈文杰 杨启亮 姜子炎 邢建春 周启臻 邹荣伟 冯博伟  (2724)

                 系统软件与软件工程


                 IATG: 基于解释分析的自动驾驶软件测试方法 ···················· 谢瑞麟 崔展齐 陈 翔 郑丽伟  (2753)
                 基于多标签学习的代码评审意见质量评价 ································································································
                 ··································· 杨岚心 张 贺 徐近伟 张逸凡 王梓宽 周 鑫 李京悦 荣国平  (2775)

                 结合  SVM  与  XGBoost 的链式多路径覆盖测试用例生成 ··········································································
                 ································································· 钱忠胜 俞情媛 张 丁 姚昌森 秦朗悦 成轶伟  (2795)
                 基于多样性     SAT  求解器和新颖性搜索的软件产品线测试 ·········································································
                 ······························································································· 向 毅 黄 翰 罗 川 杨晓伟  (2821)
                 基于模板匹配的       BPEL  程序故障修复及优化技术 ················ 孙昌爱 吴思懿 张守峰 付 安  (2844)

                 基于关系图卷积网络的代码搜索方法 ················································· 周光有 谢 琦 余 啸  (2863)

                 LibPass: 基于包结构和签名的第三方库检测方法 ··············································· 徐 建 袁倩婷  (2880)
   1   2   3   4   5   6   7   8