ACM软件工程与方法汇刊，第30卷
第30卷第1期，2021年1月
米歇尔·格雷罗 
, 达米安·安德鲁·坦布里 , 伊丽莎白·迪尼托 :
StreamGen：分布式流应用程序的模型驱动开发。 1:1-1:30 珍妮特·西格蒙德 , 诺曼·佩特克 , 斯文·阿佩尔 , 诺伯特·西格蒙德 :
掌握人类研究中的变异：聚合的作用。 2:1-2:40 阿孔德·拉赫曼 , Rayhanur Rahman医生 , 克里斯·帕宁 , 劳里·A·威廉姆斯 :
Ansible和Chef脚本中的安全味道：一项复制研究。 3:1-3:31 张慧慧 , Man Zhang先生 , 陶月 , 肖卡特·阿里 , 阎丽 :
通过搜索确定不确定需求优先级。 4:1-4:54 艾哈迈德·萨利姆·西巴希 , 托马斯·詹森 , 亚历山大·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
使用归纳精化类型验证程序转换。 5:1-5:33 里德万·萨利欣·谢里夫丁 , 谭信伟（Shin Hwei Tan） , 高明远 , 阿比克·罗伊乔杜里 :
自动补丁移植。 6:1-6:36 马晓雪 , 吴尚如 , 欧内斯特·博塔·波比 , 梅秀培 , 张浩 , 江波 , 永光禅 :
RegionTrack：基于跟踪的声音和完整检查器，用于调试事务原子性违规和非序列化跟踪。 7:1-7:49 奥萨马·埃桑 , 萨夫瓦特·哈桑 , 玛丽亚姆·埃尔·梅佐尔 , 邹莹（音） :
Gitter平台中开发人员讨论的实证研究。 8:1-8:39 罗伯托·巴格纳拉 , 米歇尔·齐亚里 , 罗伯塔·戈里 , 阿布拉莫·巴格纳拉 :
使用math.h/cmath函数验证浮点C/C++程序的实用方法。 9:1-9:53 傅晓琴 , 蔡海鹏 , 文丽（Wen Li） , 李丽 :
SEADS：通过强化学习对分布式系统进行可扩展且具有成本效益的动态依赖分析。 10:1-10:45
第30卷第2期，2021年3月
哈维尔·戈多伊 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯韦茨基 , 塞巴斯蒂安·乌奇特尔 :
支持基于对象协议的测试。 12:1-12:36 魏玛 , 迈克·帕帕达基斯 , Anestis Tsakmalis公司 , 马克西姆·科尔迪 , 伊夫·勒特朗 :
深度学习系统的测试选择。 13:1-13:22 向高 , 王波（Bo Wang） , 格雷戈里·杜克 , 如意记 , 熊英飞 , 阿比克·罗伊乔杜里 :
超越测试：通过崩溃约束提取修复程序漏洞。 14:1-14:27 曼纽尔·奥恩多夫 , 克里斯托弗·皮埃奇 , 乌多·凯尔特 , 拉尔斯·格伦斯克 , 蒂莫·凯勒 :
基于历史记录的模型修复建议。 15:1-15:46 洪金康 , 大卫·罗 :
对手规范挖掘。 16:1-16:40 邓伟功 , 孙百才 , 姚向娟 , 甜甜 :
使用SAEO生成MPI程序路径覆盖的测试数据。 17:1-17:37 陈振鹏 , 曹延斌（Yanbin Cao） , Huihan姚 , 宣鲁 , 辛鹏 , 洪梅 , 刘轩哲 :
从软件开发人员的通信数据中检测表情驱动的情绪和情感。 18:1-18:48 蒂埃里·蒂奇·切坎（Thierry Titcheu Chekam） , 迈克·帕帕达基斯 , 马克西姆·科迪 , 伊夫·勒特朗 :
用象征性的处决杀死顽固的突变体。 19:1-19:23 约翰鲍尔矿 , 卡里克·德特韦勒 , 塞巴斯蒂安·埃尔鲍姆 :
类型注释的实证研究：准确性、速度和暗示有效性。 20:1-20:29
吴伯智 , 陈森（Sen Chen） , 高翠云 , 玲玲扇 , 杨柳 , 温伟平 , 迈克尔·R·吕 :
为什么Android应用程序被归类为恶意软件：关于恶意软件分类的解释。 21:1-21:29 张浩翔 , 王绍伟 , 陈泽勋（Peter） , 艾哈迈德·哈桑 :
关于堆栈溢出的评论是否组织得很好，便于开发人员检索？ 22:1-22:31 邹德清 , 朱亚伟 , 徐寿怀 , 甄莉 , 海金 , 叶恒凯 :
基于启发式搜索解释基于深度学习的漏洞检测器预测。 23:1-23:31 贝利·范德海 , 丹尼尔·阿伦卡尔·达科斯塔 , 戴维德·法莱西 :
利用缺陷生命周期来标记受影响的版本和缺陷类。 24:1-24:35 陈秋元 , 辛霞 , 韩虎 , 大卫·罗 , 李善平 :
为什么我的代码摘要模型不起作用：使用类别预测改进代码注释。 25:1-25:29
第30卷第3期，2021年5月
毛罗·佩泽尔 :
编辑。 第26页：1 高鹏飞 , 谢宏毅 , 傅松 , 陈陶璐 :
一种用于高阶屏蔽算术程序形式验证的混合方法。 26:1-26:42 胡安·德拉拉 , 埃丝特·格拉 , Jörg Kienzle公司 :
面向面建模。 27:1-27:59 阿卜杜拉·扎里尔 , 古斯塔沃·安萨尔迪·奥利瓦 , 姜振明（Jack） , 艾哈迈德·哈桑 :
开发具有成本效益的区块链应用程序：以太坊区块链平台中智能合约交易的天然气使用案例研究。 28:1-28:38 穆纳·阿比迪 , Saidur Rahman先生 , 摩西·奥佩尼亚 , Foutse Khomh公司 :
多语言设计是否容易出错？ 一项实证研究。 29:1-29:56 佐里·沙拉菲 , 于晃（音） , 凯文·利奇 , 维斯特利·威默尔 :
实现开发人员认知活动的客观测量。 30:1-30:40 贾斯·乌丁 , Foutse Khomh公司 , 尚查尔·K·罗伊 :
来自技术问答网站的自动API使用场景文档。 31:1-31:45 孙晓宇 , 李丽 , TegawendéF.Bissyandé , 雅克·克莱恩 , 达米安·奥克托 , 约翰·C·格兰迪 :
缓和反思：Android应用程序整体程序分析的关键步骤。 32:1-32:36 赵国良 , 萨夫瓦特·哈桑 , 邹莹（音） , 德里克·特朗 , 托比·科尔宾 :
预测软件系统在运行时的性能异常。 33:1-33:33 蒂亚戈·卡斯特罗 , 利奥波多·特谢拉 , 范德阿尔维斯 , 斯文·阿佩尔 , 马克西姆·科尔迪 , 罗希特·盖伊 :
软件产品线分析的形式化框架。 34:1-34:37 温迪·亚内斯 , 拉米·巴松 , 张玉群 , 瑞克·凯兹曼 :
用区块链构建物联网系统：策略目录。 35:1-35:46 西蒙·斯卡拉布里诺 , 安东尼奥·马斯特罗保罗 , 加布里埃尔·巴沃塔 , 洛科·奥利维托 :
一种用于基于搜索的测试用例生成的自适应搜索预算分配方法。 36:1-36:26 陈秋元 , 陈春阳 , 萨夫瓦特·哈桑 , 郑昌星 , 辛霞 , 艾哈迈德·哈桑 :
我应该如何改进我的应用程序的UI？： 谷歌游戏中流行应用程序的用户评论研究。 37:1-37:38
小城 , 王浩宇 , 嘉义华 , 徐国爱 , 隋玉雷 :
DeepWukong：使用深度图形神经网络静态检测软件漏洞。 38:1-38:33 邹德清 , 吴月明 , Siru Yang先生 , Anki Chauhan公司 , 魏阳 , 钟江英 , 石汉斗 , 海金 :
IntDroid：基于API亲密度分析的Android恶意软件检测。 39:1-39:32 赵燕杰 , 李丽 , 王浩宇 , 蔡海鹏 , TegawendéF.Bissyandé , 雅克·克莱恩 , 约翰·C·格兰迪 :
基于机器学习的Android恶意软件检测中样本重复的影响。 40:1-40:38
第30卷第4期，2021年7月
陈建辉 , 飞鹤 :
在SMT解决程序验证中利用控制流知识。 41:1-41:26 克里斯·鲍嘉 , 克里斯蒂安·卡斯特纳 , 詹姆斯·赫布斯勒布 , 费迪安·图恩 :
何时以及如何做出突破性的改变：18个开源软件生态系统中的政策和实践。 42:1-42:56 安吉洛·费兰多 , 路易丝·丹尼斯 , 拉斐尔·卡多佐 , 迈克尔·菲希尔 , 戴维德·安科纳 , 维维亚娜·马斯卡迪 :
走向一种验证和确认自主认知系统的整体方法。 43:1-43:43 Héctor D.Menéndez先生 , Gunel Jahangirova先生 , 费德里卡·萨罗 , 保罗·托内拉 , 克拉克 :
单元测试的多样化集中测试。 44:1-44:24 郭兆强 , 刘世兰（Shiran Liu） , 刘金平 , 李彦辉 , 林晨（Lin Chen） , 宏民路 , 周玉明 :
我们在识别自我承认的技术债务方面取得了多大进展？ 综合实证研究。 45:1-45:56 景波路 , 何东杰 , 薛晶凌 :
Eagle:基于CFL可达性的部分上下文敏感的对象敏感指针分析的保精度加速。 46:1-46:46 菲利普·鲍韦伯 , 乔治·辛汉德尔 , 乌韦·兹顿 :
用抽象状态机中的接口和特征抽象指定：一个受控实验。 47:1-47:29 普蕾莎·查特吉 , 科斯塔丁·达梅夫斯基 , 尼古拉斯·A·卡夫 , 洛丽·波洛克 :
自动识别开发人员聊天的质量以供后期使用。 48:1-48:28 陶一大 , 山塘 , 刘业邦 , 徐志武 , 秦胜超 :
用替代实现加速数据操作任务：一项探索性研究。 49:1-49:28 Nacha Chondamrongkul公司 , 孙静 , 伊恩·沃伦 :
软件体系结构迁移：自动化规划方法。 50:1-50:35 Dalia Sobhy公司 , 拉米·巴松 , 莱安德罗·L·明库 , 瑞克·凯兹曼 :
不确定性下的软件架构评估：系统文献综述。 51:1-51:50 丹尼尔·拉索 :
敏捷成功模型：大规模敏捷转型的混合方法研究。 52:1-52:46 萨夫达尔·阿基尔·萨夫达尔 , 陶月 , 肖卡特·阿里 :
使用多目标搜索为测试中的交互系统推荐故障配置。 53:1-53:36
柳英哲 , Heng Li（李恒） , 穆罕默德·沙亚 , 姜振明（Jack） , 艾哈迈德·哈桑 :
数据分割决策对AIOps解决方案性能影响的实证研究。 54:1-54:38 马琳达·迪哈拉 , 阿米亚·凯特卡 , 丹尼·迪格 :
理解软件2.0：机器学习库的使用和演变研究。 55:1-55:42 王浩业 , 辛霞 , 大卫·罗 , 强河 , 王新余 , 约翰·格兰迪 :
基于上下文软件检索的深度提交消息生成。 56:1-56:30
