2018年第27届ISSTA:荷兰阿姆斯特丹
ISSTA 2018年回顾性影响报告奖
安全可靠
马丁·凯洛格 , 弗拉斯蒂米尔·多特 , 苏珊·米尔斯坦 , 迈克尔·D·恩斯特 :
数组索引的轻量级验证。 3-14 孟武 , 郭胜建 , 帕特里克·夏蒙特 , 王超(Chao Wang) :
使用程序修复消除正时侧通道泄漏。 15-26 特根·布伦南 , 西曼塔·萨哈 , 特夫菲克·布尔坦 , 科琳娜·帕萨雷努 :
用于旁道检测的符号路径代价分析。 27-37 马格努斯·马德森 , Ondrej Lhoták :
使用Flix进行安全可靠的节目分析。 38-48
测试和故障定位
Seung Yeob Shin先生 , 湿婆涅贾提 , 梅赫达德·萨贝扎德 , 莱昂内尔·布赖恩 , 弗兰克·齐默 :
网络物理系统验收测试的测试用例优先级:基于多目标搜索的方法。 49-60 Jaekwon Lee先生 , 金东荪(Dongsun Kim) , TegawendéF.Bissyandé , 吴敬中 , 伊夫·勒特朗 :
工作台4BL:基于IR的错误定位性能的再现性研究。 61-72 佩尔·埃里克·斯特兰德伯格 , 托马斯·奥斯特兰德 , 伊莱恩·韦尤克 , 丹尼尔·桑德马克 , 瓦西夫·阿夫扎尔 :
网络拓扑的自动测试映射和覆盖。 73-83 八月十 , 亚历克斯·Gyori , 苏勒曼·马哈茂德 , 赵培元 , 达科·马里诺夫 :
评估真实软件进化中的测试套件缩减。 84-94
机器学习
克里斯·卡明斯 , 帕夫洛斯·佩托梅诺斯 , 阿拉斯泰尔·默里 , 休皮革 :
通过深度学习进行编译器模糊处理。 95-105 Tien-Duy B.乐 , 罗大卫 :
深度规范开采。 106-117 阿努拉·德瓦拉卡纳特 , 曼尼什·阿胡加 , 萨默斯·西坎德 , 拉霍塔姆·拉奥 , R.P.Jagadeesh Chandra Bose先生 , 内维尔·杜巴什 , 桑杰·波德 :
使用变形测试识别基于机器学习的图像分类器中的实现错误。 118-128 张玉浩 , 陈一凡 , Shing-Chi Cheung先生 , 熊英飞 , 陆章 :
TensorFlow程序错误的实证研究。 129-140
手机
马蒂亚·法齐尼 , 马丁·普拉默 , 马塞洛·阿莫林 , 亚历山德罗·奥索 :
自动将错误报告转换为移动应用程序的测试用例。 141-152 李丽 , TegawendéF.Bissyandé , 王浩宇 , 雅克·克莱恩 :
CiD:自动检测Android应用程序中与API相关的兼容性问题。 153-163 法纳兹·贝朗 , 亚历山德罗·奥索 :
测试迁移以高效地大规模评估移动应用程序编码分配。 164-175 丽娜·邱 , 王莹莹 , 朱莉娅·鲁宾 :
分析分析仪:FlowDroid/IccTA、AmanDroid和DroidSafe。 176-186
静态分析
图卡拉姆·马斯克 , 罗希斯·塔鲁里 , 亚历山大·塞雷布雷尼克 :
静态分析报警的重新定位。 187-197 内维尔·格雷奇 , 乔治·福图尼斯 , 阿德里安·弗兰卡兰扎 , 亚尼斯·斯马拉格达基斯 :
从堆中拍摄:具有堆快照的超可伸缩静态分析。 198-208 乔治·福图尼斯 , 乔治·卡斯特里尼斯 , 亚尼斯·斯马拉格达基斯 :
Java动态代理的静态分析。 209-220 吕克·巴泽 :
在编码时实际检测并发问题。 221-231
测试和Oracle生成
菲利普·克里卡娃 , 扬·维泰克 :
跟踪测试:R的自动单元测试提取。 232-241 阿里安娜·布拉西 , 阿尔贝托·戈菲 , 康斯坦丁·库兹涅佐夫 , 亚历山德拉·戈拉 , 迈克尔·D·恩斯特 , 毛罗·佩泽尔 , 塞尔吉奥·德尔加多·卡斯特拉诺斯 :
将代码注释转换为过程规范。 242-253 卡罗琳·勒米厄 , 罗汉·帕迪 , 库什克森 , 黎明之歌 :
PerfFuzz:自动生成病理输入。 254-265
移植和维修
穆罕默德·莫伊恩·阿尔马西 , 哈迪·赫马蒂 , 弗雷泽 , 菲尔·麦克明恩 , 贾尼斯·贝内菲尔德(Janis Benefelds) :
基于搜索的检测旧电子表格应用程序迁移中的偏差故障。 266-275 卡里姆·卡泽姆 , 伯爵·T·巴尔 , 彼得·霍塞克 :
与Tuscan一起做出数据驱动的移植决策。 276-286 雷内只是 , 克里斯·帕宁 , 伊恩·德罗索斯 , 迈克尔·D·恩斯特 :
将开发人员提供的测试与用户提供的测试进行比较,以进行故障定位和自动程序修复。 287-297 蒋佳军(Jiajun Jiang) , 熊英飞 , 张宏宇 , 青高 , 陈向群 :
使用现有补丁和类似代码塑造程序修复空间。 298-309
优化和性能
吕英俊 , 丁莉 , 威廉·G·J·哈尔丰德 :
从代码中删除RAT:为移动应用程序自动优化资源效率低下的数据库写入。 310-321 亚尼克·诺勒 , 罗迪·克尔斯滕 , 科琳娜·帕萨雷努 :
獾:使用模糊和符号执行进行复杂性分析。 322-332 郭慧(音) , 辛迪·鲁比奥·冈萨雷斯 :
利用社区结构进行浮点精度调整。 333-343 卡尔·帕尔姆斯科 , 艾哈迈特·切利克 , 米洛斯·格利戈里克 :
piCoq:大规模验证项目的并行回归证明。 344-355
工具演示
简·费多尔 , 莫妮卡·穆齐科夫斯卡 , 亚历斯·斯姆卡 , 昂德雷·瓦西切克 , 托马斯·沃伊纳 :
用于并发C/C++程序动态分析和测试的ANaConDA框架的进展。 356-359 纪伟燕 , 潘林杰 , 李亚奇 , Jun Yan先生 , 张健(Jian Zhang) :
LAND:用于Android应用程序的用户友好且可定制的测试生成工具。 360-363 Jian Gao公司 , 辛阳 , 余江 , 韩流(Han Liu) , 魏良英 , 想要太阳 , 明古 :
使用ComRaDe管理数据竞争的并发测试。 364-367 Gunel Jahangirova先生 , 克拉克 , 马克·哈曼 , 保罗·托内拉 :
OASIs:甲骨文评估和改进工具。 368-371 迭戈·罗德里格斯·巴奎罗 , 马里奥·利纳雷斯·Vásquez :
Mutode:通用JavaScript和Node.js变异测试工具。 372-375 阮永(Vinh The Nguyen) , 阿克巴尔·西亚米·纳明 , 汤米·丹 :
MalViz:用于跟踪恶意软件的交互式可视化工具。 376-379