第29届ISSTA 2020：虚拟活动，美国
萨尔夫拉兹·库希德 , 科琳娜·帕萨雷努 :
ISSTA’20:第29届ACM SIGSOFT国际软件测试与分析研讨会，虚拟活动，美国，2020年7月18-22日。 ACM公司 2020 ，十亿 978-1-4503-8008-9
模糊
安德烈亚·菲奥拉尔迪 
, 丹尼尔·科诺·德埃利亚 , 埃米利奥·科帕 :
WEIZZ：结构化二进制格式的自动灰盒模糊。 1-13 陈宇奇（Yuqi Chen） , 伯翰轩 , 克里斯托弗·波斯基特 , 孙军（Jun Sun） , 范张（音译） :
用于测试和保护网络物理系统的主动模糊。 14-26 比约恩·马蒂斯 , 拉胡尔·戈皮纳特 , 安德利亚斯·策勒 :
学习有效模糊化的输入标记。 27-37
符号执行和约束求解
姚培森 , 青凯石 , 黄鹤庆 , 查尔斯·张 :
快速位向量可满足性。 38-50 大卫·特拉比什 , 诺姆·里内茨基 :
符号执行的可重定位寻址模型。 51-62 弗兰克·布斯 , 马丁·诺瓦克 , 克里斯蒂安·卡达尔 :
永远运行符号执行。 63-74
修复和调试
夷陵楼 , 阿里·甘巴里 , 夏丽 , 张玲明 , 张浩天 , 丹昊（Dan Hao） , 陆章 :
自动程序修复可以改进故障定位吗？ 统一的调试方法。 75-87 拉贾·本·阿卜杜塞勒姆 , 安妮贝·帕尼切拉 , 希瓦·内贾蒂 , 莱昂内尔·布赖恩 , 托马斯·斯蒂弗 :
自动修复自动驾驶系统中的功能交互故障。 88-100 蒂波德·卢特利尔 , 红越范 , 劳伦斯·庞 , 李一同 , Moshi Wei公司 , 林丹 :
CoCoNuT：结合使用集成的上下文软件神经翻译模型进行程序修复。 101-114
移动应用
李雪亮 , 杨玉明（Yuming Yang） , Yepang Liu公司 , 约翰·加拉赫 , 吴开顺 :
检测和诊断移动应用程序的能源问题。 115-127 刘慧（音） , 沈明珠 , 金嘉浩 , 姜燕杰（Yanjie Jiang） :
自动分类移动应用程序错误报告中的操作。 128-140 奥利维埃罗·里加内利 , 西蒙·保罗·莫塔代利 , 克劳迪奥·罗塔 , 丹妮拉·米库奇 , 莱昂纳多·马里亚尼 :
数据丢失检测器：自动揭示Android应用程序中的数据丢失错误。 141-152
机器学习I
潘敏雪 , 安煌 , 王国欣 , 田章 , 李宣东 :
基于好奇驱动的Android应用程序强化学习测试。 153-164 Seokhyun Lee先生 , 苏英查 , 戴·李 , Hakjoo噢 :
采用自适应神经元选择策略对深度神经网络进行有效的白盒测试。 165-176 杨峰 , 石清凯 , 新余高 , Jun Wan先生 , 方春荣 , 陈振宇 :
DeepGini：优先进行大规模测试，以增强深度神经网络的稳健性。 177-188
机器学习II
塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
检测和理解机器学习库中的实际差异性能错误。 189-199 阿纳布·夏尔马 , 海克·韦尔海姆 :
收入越高，贷款越大？ 机器学习模型的单调性检验。 200-210 赛卡特·杜塔 , 八月十 , Rutvik Choudhary公司 , Zhekun Zhang（张哲坤） , 阿亚曼·贾恩 , 萨萨·米塞洛维奇 :
检测概率和机器学习应用中的片状测试。 211-224
错误定位和测试隔离
迈克尔·普拉德尔 , 维贾亚拉加万·穆拉利 , 丽贝卡·钱 , 马特乌斯·马查利卡 , 梅耶尔 , 萨蒂什·钱德拉 :
混乱：数百万文件上的错误定位。 225-236 拉胡尔·戈皮纳特 , 亚历山大·坎普曼 , 尼古拉斯·哈夫里科夫 , 以西结O.Soremekun , 安德利亚斯·策勒 :
提取故障诱导输入。 237-248 彭玉聂 , 艾哈迈德·切利克 , 马修·科利 , 阿列克桑达尔·米利舍维奇 , 乔纳森·贝尔 , 米洛斯·格利戈里克 :
调试Maven的测试隔离性能：经验报告。 249-259
安全
Ismet Burak Kadron公司 , 尼科拉斯·罗斯纳 , 特夫菲克·布尔坦 :
网络应用程序的反馈驱动的副通道分析。 260-271 莫汉娜德·阿哈纳纳 , 克莱·史蒂文斯 , 哈米德·巴赫里 :
物联网系统中交互威胁的可扩展分析。 272-285 刘木阳 , 柯莉 , 陈涛（Tao Chen） :
DeepSQLi：用于测试SQL注入的深层语义学习。 286-297
回归测试
林师父 , 八月十 , 里德·奥伊 , 赛张（Sai Zhang） , 迈克尔·D·恩斯特 , 陶雪 :
依赖测试软件回归测试技术。 298-311 帕特丽斯·戈德弗里德 , 丹尼尔·莱曼 , 玛丽娜·波里什丘克 :
REST API的差异回归测试。 312-323 钱扬鹏 , 八月十 , 张玲明 :
经验上重新审视和加强基于IR的测试用例优先级。 324-336
具有挑战性的领域
佩尔·埃里克·斯特兰德伯格 , 托马斯·奥斯特兰德 , 伊莱恩·韦尤克 , 瓦西夫·阿夫扎尔 , 丹尼尔·桑德马克 :
嵌入式系统领域中的测试间歇性失败。 337-348 卡尔·希尔德布兰特 , 塞巴斯蒂安·埃尔鲍姆 , 尼古拉·贝佐 , 马修·德怀尔 :
移动机器人的可行且有压力的轨迹生成。 349-362 李慧（音） , 董旺（Dong Wang） , 黄天泽 , 于高 , 窦文胜 , 徐丽杰 , 王伟（音译） , 魏军（Jun Wei） , 华中 :
检测Spark应用程序中与缓存相关的错误。 363-375
二进制分析
徐一飞 , 徐正子 , 陈碧欢 , 傅松 , 杨柳 , 刘婷（Ting Liu） :
二进制程序的基于补丁的漏洞匹配。 376-387 乔治·福图尼斯 , 列奥尼达斯·特里安塔菲卢 , 亚尼斯·斯马拉格达基斯 :
通过二进制扫描识别本机代码中的Java调用。 388-400 姜慕辉 , 周亚进 , 下浦罗 , 王若愚 , 杨柳 , 奎仁 :
ARM拆卸工具的实证研究。 401-414
静态分析和基于搜索的测试
Asem Ghaleb公司 , 卡提克·帕塔比拉曼 :
智能合约分析工具的有效性如何？ 使用错误注入评估智能合约静态分析工具。 415-427 多米尼克·赫尔姆 , 弗洛里安·库布勒 , 简·托马斯·科尔泽 , 菲利普·哈勒 , 迈克尔·艾希伯格 , 吉多·萨尔瓦内奇 , 米拉·梅齐尼 :
静态分析半隐式并行化的编程模型。 428-439 云林 , 孙军（Jun Sun） , 弗雷泽 , 子亨秀 , 刘婷（Ting Liu） , 金松洞 :
在基于搜索的测试中恢复过程间布尔标志的适应度梯度。 440-451
构建测试
王开元 , 格雷格·特纳 , 维杰·古拉帕利 , Xin Huang（新黄） , 艾哈迈德·加德 , 丹尼尔·拉尔 :
具有智能调度服务的可扩展构建服务系统。 452-462 帮派（Gang Fan） , 王承鹏 , 吴荣新 , 肖肖 , 青凯石 , 查尔斯·张 :
逃离依赖项地狱：使用统一依赖关系图查找生成依赖项错误。 463-474 刘志波 , 王帅（Shuai Wang） :
我们已经走了多远：测试C反编译器的反编译正确性。 475-487
数值软件分析与克隆检测
杰克逊·范诺弗 , 宣登 , 辛迪·鲁比奥·冈萨雷斯 :
发现数字库中的差异。 488-501 小河 , 王兴伟 , 贾石 , 刘毅（音） :
测试高性能数值模拟程序：经验教训和开放问题。 502-515 方春荣 , 刘子熙 , 杨阳石 , 黄立成 , 青凯石 :
基于语法和语义融合学习的功能代码克隆检测。 516-527 张亚坤 , 窦文胜 , 朱嘉欣 , 梁旭 , 周志勇 , 魏军（Jun Wei） , 丹叶（Dan Ye） , 杨波（Bo Yang） :
学习检测电子表格中的表格克隆。 528-540
工具演示
阿里·甘巴里 :
ObjSim：通过对象相似性进行轻量级自动补丁优先级排序。 541-544 赵国 , 铁科河 , 魏源 , 越国 , 芮浩 :
通过知识图为自动测试生成众包需求。 545-548 郭子晨 , 刘佳伟 , 何铁克 , 李卓阳 , 培田张竹 :
陶贾德：司法文件中机器学习的测试增强。 549-552 闻天燕 , 高建波 , 吴振浩 , 岳丽 , 直管 , 李青山 , 钟晨 :
EShield：保护智能合约免受逆向工程的影响。 553-556 古斯塔沃·格里科 , 威尔·宋 , 阿图尔·赛根 , 约瑟林·费斯特 , 亚历克斯·格罗斯 :
Echidna：智能合约的有效、可用和快速模糊化。 557-560 乔治·汤普森 , 艾利森·K·沙利文 :
ProFL：Prolog的故障定位框架。 561-564 杨章 , 帅少 , 翟隽 , 马仕卿 :
FineLock：自动将粗粒度锁重构为细粒度锁。 565-568 埃齐奥·巴托西 , Niveditha Manjunath公司 , 莱昂纳多·马里亚尼 , Cristinel Mateis公司 , 德扬·尼科维奇 , 法布里奇奥·帕斯托尔 :
CPSDebug：一种解释网络物理系统故障的工具。 569-572 钱瑞祥 , 袁昭 , Duo Men公司 , 杨峰 , 青凯石 , 黄勇 , 陈振宇 :
基于分层覆盖过滤的测试推荐系统。 573-576
博士生论坛
冯雪 :
从视觉角度自动化移动应用程序测试。 577-581 路易斯·古斯塔沃·阿劳霍·罗德里格斯 , 丹尼尔·麦克·多·巴蒂斯塔 :
MQTT应用程序的程序软件模糊化。 582-586 乔·乔马·内托 :
自动支持识别不可行的测试需求。 587-591
