ACM软件工程与方法汇刊,第31卷
第31卷第1期,2022年1月
安德烈亚·阿库里 , 胡安·加莱奥蒂 :
通过现有API的可测试性转换增强基于搜索的测试。 1:1-1:34 Man Zhang先生 , 安德烈亚·阿库里 :
基于搜索的系统测试生成的自适应超变异:基于EvoMaster的REST API研究。 2:1-2:52 许慧(音) , 陈庄斌 , 孙明申 , 周扬帆 , 迈克尔·R·吕 :
记忆安全挑战被认为已解决? 所有锈蚀CVE的深入研究。 3:1-3:25 戴维德·法莱西 , Aalok Ahluwalia公司 , 马西米利亚诺·迪·潘塔 :
潜伏缺陷对缺陷预测的影响:对19个Apache项目的研究。 4:1-4:26 Birgit Vogel豪瑟 , 伊娃-马里亚·诺伊曼 , 朱利安·费舍尔 :
MICOSE4aPS:改进控制软件系统重用的工业适用成熟度度量。 5:1-5:24 安德斯·桑德林 , 哈维尔·冈萨雷斯-韦尔塔 , Krzysztof Wnuk公司 , 托尼·戈尔斯克 :
软件工艺剖析。 6:1-6:49 丹尼尔·格拉齐奥廷 , 佩尔·伦伯格 , 罗伯特·费尔特 , 斯特凡·瓦格纳 :
行为软件工程中的心理测量学:方法导论和指南。 7:1-7:36 周建义 , 陈俊杰 , 丹昊(Dan Hao) :
并行测试优先级。 8:1-8:50 伊鲁姆·劳夫 , 玛丽安·彼得 , 登吞 , 塔玛拉·洛佩兹 , 保罗·伦恩 , 德克·范德林登 , 约翰·托斯 , 海伦·夏普 , 马克力文 , 阿韦斯·拉希德 , 巴沙尔·努塞贝 :
适应性安全干预案例。 9:1-9:52 洛伦娜·阿塞加 , Jaime字体 , Ø伊斯汀·豪根 , 卡洛斯·塞蒂纳 :
野外基于模型的系统中的错误定位。 10:1-10:32
高翠云 , 周文杰 , 辛霞 , 罗大卫 , 齐燮 , 迈克尔·R·吕 :
基于上下文知识自动生成应用程序审阅响应。 11:1-11:36 刘超(Chao Liu) , 辛霞 , 大卫·罗 , 刘志伟 , 艾哈迈德·哈桑 , 李善平 :
CodeMatcher:根据重要查询词的顺序语义搜索代码。 12:1-12:37 周亚琴 , Jing Kai Siow先生 , 王晨宇 , 刘尚清 , 杨柳 :
SPI:通过提交自动识别安全修补程序。 13:1-13:27 阿明·尼坎贾姆 , 胡塞姆·本·布雷克(Houssem Ben Braiek) , 穆罕默德·梅赫迪·莫罗瓦蒂 , Foutse Khomh公司 :
使用图形变换的深度学习程序的自动故障检测。 14:1-14:27 刘超(Chao Liu) , 高翠云 , 辛霞 , 罗大卫 , 约翰·C·格兰迪 , 杨晓虎 :
软件工程中深度学习的可再现性和可复制性。 15:1-15:46 英哲·吕 , 戈皮·克里希南·拉贾巴杜尔 , 林大一 , 陈伯元 , 姜振明(Jack) :
实现AIOps模型的一致解释。 16:1-16:38 欧文·帕里 , 格雷戈里·卡普哈默 , 迈克尔·希尔顿 , 菲尔·麦克明恩 :
Flaky测试综述。 17:1-17:74
第31卷第2期,2022年4月
毛罗·佩泽尔 :
编辑:回顾性和前瞻性思考。 18秒:1-18秒:2 凯文·拉诺 , Shekoufeh Kolahdouz Rahimi公司 , 石朝芳 :
使用自动需求分析、元模型匹配和示例转换进行模型转换开发。 18:1-18:71 托马斯·博克 , 安吉丽卡·施密德 , 斯文·阿佩尔 :
开放源代码软件开发中的组动态测量和建模:张量分解方法。 19:1-19:50 法希梅·易卜拉希米 , 米罗斯拉夫·图舍夫 , 安娜斯·马哈茂德 :
使用单词嵌入对移动应用程序进行分类。 20:1-20:30 卢卡·阿迪托 , 安德烈亚·博蒂诺 , 里卡多·科波拉 , 法布里齐奥·兰贝蒂 , 弗朗西斯科·马尼格拉索 , 莉亚·莫拉 , 马可·托奇亚诺 :
基于特征匹配的方法提高Android可视化GUI测试的健壮性。 21:1-21:32 Chandra Shekhar Maddila公司 , 纳恰帕·纳加潘 , 克里斯蒂安·伯德 , 乔治奥斯·古西奥斯 , 阿里·范·德森 :
ConE:用于大型软件开发的并发编辑检测工具。 22:1-22:26 杰夫金尼娅·潘蒂乌奇纳 , 林斌(Bin Lin) , 菲奥雷拉·赞佩蒂 , 马西米利亚诺·迪·彭塔 , 米歇尔·兰扎 , 加布里埃尔·巴沃塔 :
为什么开发人员拒绝开源项目中的重构? 23:1-23:23 奥拉沃勒·奥尼 , 伊曼纽尔·莱蒂尔 :
分析发布计划中的不确定性:固定日期发布周期的方法和实验。 24:1-24:39 卢卡·特雷尼 , 丹尼尔·迪·蓬佩奥 , 米歇尔·图奇 , 林斌(Bin Lin) , 西蒙·斯卡拉布里诺 , 加布里埃尔·巴沃塔 , 米歇尔·兰扎 , 罗科·奥利韦托 , 维托里奥·科尔泰莱萨 :
软件重构如何影响执行时间。 25:1-25:23 凯瑟琳·霍夫 , 乔纳森·贝尔 :
一种实用的控制流关系动态跟踪方法。 26:1-26:43 德奈·福特 , 玛格丽特·安妮·D·斯托里 , 托马斯·齐默尔曼 , 克里斯蒂安·伯德 , 索尼娅·贾菲 , Chandra Shekhar Maddila公司 , 詹娜·巴特勒 , 布赖恩·霍克 , 纳恰帕·纳加潘 :
双城记:新冠肺炎疫情期间软件开发人员在家工作。 27:1-27:37 瑞恩·威廉姆斯 , 同威人 , 洛伦佐·德·卡利 , 龙露 , 吉莉安·史密斯 :
资源约束固件的引导式功能识别和删除。 28:1-28:25 弗兰克·F·徐 , 博格丹·瓦西列斯库 , 格雷厄姆·纽比格 :
从自然语言生成In-IDE代码:承诺和挑战。 29:1-29:47 陈嘉驰 , 辛霞 , 大卫·罗 , 约翰·C·格兰迪 :
为什么智能合约会自我毁灭? 研究以太坊上的自我毁灭功能。 30:1-30:37
帕特里克·凯勒 , 阿卜杜尔·卡德尔·卡博雷 , 劳拉·普莱恩 , 雅克·克莱恩 , 伊夫·勒特朗 , TegawendéF.Bissyandé :
你所看到的就是它的意义! 基于可视化和迁移学习的代码语义表示学习。 31:1-31:34 科迪·沃森 , 内森·库珀 , 大卫·纳德·帕拉西奥 , 凯文·莫兰 , 丹尼斯·波西瓦尼克 :
深度学习在软件工程研究中的应用的系统文献综述。 32:1-32:58 里图·卡普尔 , Balwinder Sodhi公司 :
使用软件功能相似性和基于开发人员活动的度量来估算OSS工作量。 33:1-33:35 曹家伦 , 李梅子牛 , 李叶亭 , 明文 , Shing-Chi Cheung先生 , 陈海明(Haiming Chen) :
SemMT:一种基于语义的机器翻译系统测试方法。 34秒:1-34秒:36秒
邹昌伟 , 者王旭东 , 姚庆高 , 薛晶凌 :
好友堆栈:通过高效的线程本地存储和运行时重新随机化保护返回地址。 35秒:1-35秒:37秒 萨布琳·艾哈迈迪 , 卡洛斯·约瑟夫·梅拉·戈麦斯 , 拉米·巴松 , 瑞克·凯兹曼 :
区块链体系结构设计决策及其安全攻击和威胁研究。 36秒:1-36秒:45 西尔维奥·马丁内斯·费尔南德斯 , 朱斯特斯·博格纳 , 泽维尔·弗兰奇 , 马克·奥里奥尔 , 朱利安·西伯特 , 亚当·特伦多维奇 , 安娜·玛丽亚·沃尔默 , 斯特凡·瓦格纳 :
基于人工智能的系统的软件工程:综述。 37e:1-37e:59
第31卷第3期,2022年7月
熊英飞 , 王波(Bo Wang) :
L2S:根据规范合成最可能程序的框架。 34:1-34:45 王俊杰 , 叶阳 , 宋王 , 胡军 , Qing Wang(王青) :
上下文和公平-软件进程内众工作者建议。 35:1-35:31 赵宇 , 苏婷(Ting Su) , 杨柳 , 魏征 , 吴晓雪 , 拉马坎斯·卡武鲁鲁 , 威廉·G·J·哈尔丰德 , 于婷婷 :
ReCDroid+:Android应用程序的错误报告自动端到端崩溃复制。 36:1-36:33 卢卡·迪·斯特凡诺 , 洛科·德·尼古拉 , 奥马尔·因弗索 :
通过顺序仿真验证分布式系统。 37:1-37:41 林斌(Bin Lin) , 内森·卡西 , 亚历山大·谢列布雷尼克 , 加布里埃尔·巴沃塔 , 尼科尔·诺维埃利 , 米歇尔·兰扎 :
软件开发的意见挖掘:系统文献综述。 38:1-38:41 丹尼尔·巴塞罗那·彭斯 , 皮埃尔经 , 马克·桑切斯·阿蒂加斯 , 杰拉德·帕里斯 , 佩德罗·加西亚·洛佩斯 :
具有关键功能的状态无服务器计算。 39:1-39:38 卡洛·福里亚 , 理查德·托卡尔 , 罗伯特·费尔特 :
将贝叶斯分析指南应用于经验软件工程数据:编程语言和代码质量案例。 40:1-40:38 博格丹·马尔库列斯库 , Man Zhang先生 , 安德烈亚·阿库里 :
通过自动测试生成在REST API中发现的故障。 41:1-41:43 法比奥·卡莱法托 , 菲利波·拉努比尔 :
使用个性检测工具进行软件工程研究:我们能走多远? 42:1-42:48 司刘 :
一体化:SNOW最佳读取原子事务的设计、验证和实现。 43:1-43:44 杨文华 , 张冲(Chong Zhang) , 潘敏雪 , 常旭 , 于舟 , 黄志秋 :
开发人员真的知道如何使用Git命令吗? 使用堆栈溢出的大规模研究。 44:1-44:29 杜西卡·马里扬 , 萨加尔森 :
产学研合作与知识共创:模式与反模式。 45:1-45:52 Dalia Sobhy公司 , 莱安德罗·L·明库 , 拉米·巴松 , 瑞克·凯兹曼 :
持续和主动的软件架构评估:物联网案例。 46:1-46:54
谢晓飞 , 李天林 , 王健(Jian Wang) , 麻磊 , 青果 , 费利克斯·居菲(Felix Juefei-Xu) , 杨柳 :
NPC:通过表征深层神经网络的决策逻辑实现神经元路径覆盖。 47:1-47:27 贾斯·乌丁 , 亚恩·加埃尔·盖内乌克 , Foutse Khomh公司 , 尚查尔·K·罗伊 :
软件工程数据集独立情感检测工具集成有效性的实证研究。 48:1-48:38 郝国 , 陈森 , 振兴 , 李晓红 , 白玉德 , 孙嘉谋 :
检测和增强漏洞描述中缺失的关键方面。 49:1-49:27 黄昭章 , 傅志毅 , 葛丽 , 麻磊 , 赵哲浩 , 杨华安 , 孙一哲 , 杨柳 , 织金 :
深入程序处理模型的健壮性——检测、估计和增强。 50:1-50:40 林波 , 王尚文 , 明文 , 毛晓光 :
为更好的补丁正确性评估嵌入上下文软件代码更改。 51:1-51:29 林泽浩 , 李国盾 , 张景峰 , 岳登 , 曾祥吉 , 尹章(音) , 姚婉 :
XCode:面向大规模预训练的跨语言代码表示。 52:1-52:44 廖丽芝 , Heng Li(李恒) , Weiyi Shang公司 , 麻磊 :
超参数调整和模型优化对深度神经网络性能特性影响的实证研究。 53:1-53:40
吴思伟(Siwei Wu) , 雷武(Lei Wu) , 周亚进 , 李润怀 , 王志 , 下浦罗 , 王聪(音) , 奎仁 :
时间旅行调查:在以太坊上构建可扩展的攻击检测框架。 54:1-54:33 本杰明·梅耶斯 , 苏丹法哈德·阿尔马萨里 , 布兰登·凯勒 , 安德鲁·梅尼利 :
在大学渗透测试比赛中检查渗透测试人员的行为。 55:1-55:25 杨延明(Yanming Yang) , 辛霞 , 大卫·罗 , 毕婷婷 , 约翰·C·格兰迪 , 杨晓虎 :
软件工程中的预测模型:挑战与机遇。 56:1-56:72
第31卷第4期,2022年10月
德克·拜尔 , 马蒂亚斯·丹格尔 , 丹尼尔·迪奇 , 马蒂亚斯·海兹曼 , 托马斯·莱姆伯格 , 迈克尔·陶奇尼格 :
核查见证人。 57:1-57:69 里迪·贾恩 , Rahul Purandare公司 , Subodh Sharma公司 :
BiRD:松弛内存模型下软件二进制文件中的种族检测。 58:1-58:29 Jhon Masso先生 , 费利克斯·加西亚 , 塞萨尔·杰苏斯·帕尔多·卡瓦奇 , 弗朗西斯科·皮诺 , 马里奥·皮亚蒂尼 :
软件风险管理的通用术语。 59:1-59:47 余洲 , 张晓庆 , 娟娟·沈 , 韩婷婷 , 陈韬略 , 哈拉尔德·加尔 :
深层代码注释生成的对抗健壮性。 60:1-60:30 Chanh Duc Ngo村 , 法布里奇奥·帕斯托尔 , 莱昂内尔·C·布里昂 :
自动化、高成本效益和更新驱动的应用程序测试。 61:1-61:51 郝宇 , 星虎 , 葛丽 , 李颖 , 王千祥 , 陶雪 :
通过深度学习评估和改进用于检测语义代码克隆的评估数据集。 62:1-62:25 星虎 , 陈秋元 , 王浩业 , 辛霞 , 大卫·罗 , 托马斯·齐默尔曼 :
代码文档生成质量的自动评估与人工评估相关联。 63:1-63:28 埃蒂安·安德烈 , 迪迪埃·莱姆 , 迪伦·马里奥 , 孙军(Jun Sun) :
使用参数化定时模型检查确保定时不透明度。 64:1-64:36 安德烈亚·隆德纳 , 阿莱西奥·梅洛 , 玛丽亚诺·塞卡托 , 保罗·托内拉 :
Android应用程序黑盒测试的深度强化学习。 65:1-65:29 婷婷碧 , 辛霞 , 大卫·罗 , 约翰·C·格兰迪 , 托马斯·齐默尔曼 , 德奈·福特 :
软件实践中的可访问性:实践者的观点。 66:1-66:26 米切尔·乔布林 , 斯文·阿佩尔 :
成功和失败的项目有何不同? 社会技术分析。 67:1-67:24 朱塞佩·德贾科莫 , 里卡多·德马塞利斯 , 法布里奇奥·玛丽亚·马吉 , 马可·蒙塔利 :
用时间逻辑在有限轨迹上监控约束和元约束。 68:1-68:44 张鹏(音译) , 杨旺(Yang Wang) , 刘旭通 , 李艳辉 , 杨一彪 , 王子源 , 周晓宇(音) , 林晨(Lin Chen) , 周玉明 :
减少突变评估:有什么和缺少什么? 69:1-69:46 埃尔维拉·阿尔伯特 , 巴勃罗·戈迪略 , 亚历杭德罗·埃尔南德斯·塞雷佐 , 阿尔伯特·鲁比奥 , 玛丽亚·安娜·谢特 :
智能合约的超级优化。 70:1-70:29 亨里克·劳科 , 卢卡斯·科伦西克 , 彼得·罗凯 :
验证对堆布局敏感的程序。 71:1-71:27 陈俊杰 , 陈耀锁 :
通过编译器优化探索促进编译器测试。 72:1-72:33 金汉金 , 全智英 , 申红(Shin Hong) , 申佑 :
通过源代码中的自然语言通道进行预测突变分析。 73:1-73:27 乌迈尔·艾哈迈德 , 范志宇 , Jooyong Yi公司 , 奥马尔·巴塔内赫 , 阿比克·罗伊乔杜里 :
Verifix:程序分配的验证修复。 74:1-74:31 张玉霞 , 刘慧(音) , 新滩 , 周明辉 , 织金 , 朱佳欣 :
OpenStack中公司的营业额:普遍性和合理性。 75:1-75:24
赵妮 , 辛霞 , 大卫·罗 , 杨晓虎 , 艾哈迈德·哈桑 :
JavaScript项目实时缺陷预测:复制研究。 76:1-76:38 Haoye Tian公司 , 李英华 , 胃果片 , 阿卜杜尔·卡德尔·卡博雷 , Kui Liu(刘奎) , 安德鲁·哈比卜 , 雅克·克莱恩 , TegawendéF.Bissyandé :
基于失败测试用例相似性的补丁正确性预测。 77:1-77:30 胡强 , 郭跃军 , 马克西姆·科尔迪 , 谢晓飞 , 麻磊 , 迈克·帕帕达基斯 , 伊夫·勒特朗 :
基于数据分布感知的深度学习测试选择实证研究。 78:1-78:30 费哈特·朱尔·乔塔克 , 陶月 , 肖卡特·阿里 :
网络物理系统数据深度学习模型中的不确定性感知预测验证器。 79:1-79:31 马泰奥·比亚乔拉 , 保罗·托内拉 :
基于强化学习系统的塑性测试。 80:1-80:46 Bianca Trinkenreich公司 , 伊戈尔·维斯 , 安妮塔·萨尔玛 , 马可·奥雷里奥·格罗萨 , 伊戈尔·斯坦马赫 :
妇女参与开源软件:文献综述。 81:1-81:37
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)