2017年第十届ICST：日本东京
2017年IEEE软件测试、验证和确认国际会议，2017年3月13日至17日，日本东京，ICST 2017。 IEEE计算机学会 2017 ，国际标准图书编号 978-1-5090-6031-3
研究方向
故障定位和注入
云果（Yun Guo） , 阿米哈·莫特罗 , 南丽 :
定位SQL谓词中的错误。 1-11 亚历山大·佩雷斯 , 鲁伊·阿布鲁 
, 马塞洛·阿莫林 :
单一故障修复的普及率及其对故障定位的影响。 12-22 恩金贞 , Namgoo Lee公司 , 金汉金 , Duseok Kang公司 , Soonhoi河 :
FIFA：基于ARM的嵌入式Linux系统的内核级故障注入框架。 23-34
调试、复合故障和复杂性分析
徐静 , 于磊 , 理查德·卡弗 :
使用增量调试最小化并发数据结构的压力测试。 35-46 拉胡尔·戈皮纳特 , 卡洛斯·延森 , 亚历克斯·格罗斯 :
复合断层理论。 47-57 Kasper Søe Luckow公司 , 罗迪·克尔斯滕 , 科琳娜·帕萨雷努 :
使用上下文保留历史进行符号复杂性分析。 58-68
安全性测试
克里斯托弗·克莱恩 , 迪米特里斯·西蒙斯 :
覆盖证书：X.509证书测试的组合方法。 69-79 苏丹S.Al-Qahtani , 埃利斯·E·埃根 , 尤尔根·瑞林 :
恢复API和安全漏洞之间的语义跟踪链接：一种本体建模方法。 80-91 致远丸 , 大卫·罗 , 辛霞 , 蔡亮 , 李善平 :
为Linux容器挖掘沙盒。 92-102
回归测试
奥古斯托·波恩·德·奥利维拉 , 塞巴斯蒂安·费奇梅斯特 , 艾默·迪万 , 马蒂亚斯·豪斯沃思 , 彼得·斯威尼 :
变态：性能回归测试选择变得简单但有效。 103-113 易卜拉欣·阿拉戈兹 , 托马斯·赫佩尔 , 莱因哈德德语 :
具有统计定义质量水平的黑盒回归测试的选择方法。 114-125 安德烈亚·阿库里 , 弗雷泽 , 勒内只是 :
自动单元测试生成中的专用API访问和功能模拟。 126-137
Web和移动应用程序
林俊伟 , Farn Wang公司 , 朱棣文（Paul Chu） :
在基于爬行的Web应用程序测试中使用语义相似性。 138-148 马蒂亚·法齐尼 , 爱德华多·诺罗尼亚（Eduardo Noronha de Andrade Freitas） , Shauvik Roy Choudhary公司 , 亚历山德罗·奥索 :
Barista：一种记录、编码和运行独立于平台的Android测试的技术。 149-160 小李 , 张娜娜（Nana Chang） , Yan Wang（王燕） , 黄浩华 , 于培 , 王林章（Linzhang Wang） , 李宣东 :
ATOM：为不断发展的移动应用程序自动维护GUI测试脚本。 161-171
并行系统与并发
张晓东 , 资江杨 , 郑庆华 , 刘培（音译） , 张嘉良 , 于浩 , 刘婷（Ting Liu） :
多线程程序定义使用数据流的自动测试。 172-183 亚伯拉罕·陈 , 史蒂芬温特 , 哈比布·塞西 , 卡提克·帕塔比拉曼 , 内拉杰·苏里 :
IPA：使用可能不变量的多线程程序的错误传播分析。 184-195 里卡多·J·迪亚斯 , 卡拉·费雷拉 , 简·费多尔 , 乔·卢伦索 , 亚历斯·斯姆卡 , 迪奥戈·苏萨 , 托马斯·沃纳尔 :
使用合同验证并发程序。 196-206
测试经验
费比安·特劳茨 , 延斯·格拉博夫斯基 :
有任何单元测试吗？ 开源Python项目中单元测试的实证研究。 207-218 创始人阿姆斯特朗 , Foutse Khomh公司 , 布拉姆·亚当斯 :
广播与单播审查技术：重要吗？ 219-229 阿明·米拉尼·法德 , 阿里·梅斯巴 :
JavaScript：未涵盖的部分。 230-240
基于模型的测试I
海耶斯·匡威 , 奥斯瓦尔多·奥利沃 , 萨尔夫拉兹·库希德 :
使用符号执行生成高覆盖率测试的非语义保留转换。 241-252 尼尔·沃尔金肖 , 弗雷泽 :
不确定驱动的黑盒测试数据生成。 253-263 艾莉森·沙利文 , 王开元 , 拉齐·诺克贝·扎伊姆 , 萨尔夫拉兹·库希德 :
合金的自动测试生成和突变测试。 264-275
基于模型的测试II
马丁·塔普勒 , 伯恩哈德·艾切里尼（Bernhard K.Aichernig） , 罗德里克·布隆 :
通过主动自动机学习进行基于模型的物联网通信测试。 276-287 西里尔·阿瑟 , 昆廷·格罗斯 , 纪尧姆·罗塞特 , Kazuaki Banzai先生 , 雷马 , 北村隆 , Masami Hagiya先生 , 田本义一（Yoshinori Tanabe） , 山本三郎 :
Apache ZooKeeper的基于模型的API测试。 288-298 王春辉 , 法布里奇奥·帕斯托尔 , 莱昂内尔·布赖恩 :
基于用例和定时自动机的定时需求系统测试。 299-309
自动化和运行时测试
亚历克斯·Gyori , 普拉纳夫·加格 , 埃德加·佩克 , P.马都苏丹 :
列表上线性度量的高效增量运行时检查。 310-320 王倩倩 , 尤里·布伦 , 亚历山德罗·奥索 :
行为执行比较：测试是否代表现场行为？ 321-332 西蒙·保丁（Simon M.Poulding） , 罗伯特·费尔特 :
多种调度语言的自动随机测试。 333-344
基于搜索的测试
格雷戈里·盖伊 :
工作的适应度函数：基于搜索生成检测实际故障的测试套件。 345-355 萨迪克·扬 , 铜D.Nguyen , 安德烈亚·阿库里 , 莱昂内尔·布赖恩 :
Web应用程序中XML注入漏洞的基于搜索的测试方法。 356-366 迪普什·普拉丹 , 王帅（Shuai Wang） , 肖卡特·阿里 , 陶月 , 马吕斯·利安 :
CBGA-ES：一种支持多目标测试优化的基于聚类的精英选择遗传算法。 367-378
模型检查和验证
郑成 , 马西莫·蒂西 :
关系模型转换的增量演绎验证。 379-389 伯恩哈德·艾切里尼（Bernhard K.Aichernig） , 理查德·舒米 :
统计模型检查符合基于属性的测试。 390-400 法布里奇奥·帕斯托尔 , 丹妮拉·米库奇 , 莱昂纳多·马里亚尼 :
时间k尾：时间自动机的自动推理。 401-411
新方法和实证结果（短文）
爱德华·保罗·伊诺乌 , 丹尼尔·桑德马克 , Adnan Causevic公司 , 保罗·佩特森 :
工业控制软件手动测试与自动测试的比较研究。 412-417 陈俊杰 , 白燕伟 , 丹浩 , 张玲明 , 陆章 , 谢冰冰（Bing Xie） :
断言如何影响基于覆盖的测试套件缩减？ 418-423 泽维尔·德夫罗伊 , 吉尔斯·佩鲁因 , 迈克·帕帕达基斯 , Axel Legay公司 , 皮埃尔·伊夫·肖本斯 , 帕特里克·海曼斯 :
自动机语言等价性与基于模型的变异等价性模拟：一项实证评估。 424-429 托马斯·洛朗 , 迈克·帕帕达基斯 , 马里诺斯·金蒂斯 , 克里斯托弗·海纳德 , 伊夫·勒特朗 , 安东尼·文崔斯克 :
评估和改进PIT的突变测试实践。 430-435
新理论和工具（短文）
米夏·马尔科齐 , 米卡·德拉哈耶 , 塞巴斯蒂安·巴丁 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 :
结构测试目标的通用有效规范。 436-441 里德·米列维茨 , 彼得·皮尔克鲍尔 :
Ariadne：混合定向模型检查和静态分析。 442-447 马修·帕特里克 , 鲁亚里·唐纳利 , 克里斯托弗·基里根 :
针对统计预言测试随机模拟的工具包。 448-453 阿莱西奥·甘比 , 亚历山德拉·戈拉 , 安德利亚斯·策勒 :
哦！ 快照：云中的成本效益测试。 454-459
测试工具文件跟踪
模型检查和基于DSL的测试
阿努拉·德瓦拉卡纳特 , 狄平时代 , Aditya Priyadarshi公司 , 内维尔·杜巴什 , 桑杰·波德 :
通过领域特定语言加速测试自动化。 460-467 普里扬卡·达克 , 巴蒂·奇迪瓦尔 , Avriti Chauhan公司 , R.文卡特斯 :
使用抽象和有界模型检查的工业级代码的高效安全证明。 468-475 保罗·阿卡尼 , 安吉洛·加甘蒂尼 , 蓖麻Elvinia Riccobene :
NuSeen：NuSMV模型检查器的工具框架。 476-483
代码分析和白盒测试
本杰明·霍兰德 , 甘尼什·拉姆·桑塔南 , 苏雷什·科塔里 :
转移最先进的不变性分析：实验工具箱和准确性基准。 484-491 唐俊杰 , 崔兴民 , 赵子明 , 郭善清 , 许新顺 , 胡成玉 , 陶班 , 冰毛 :
NIVAnalyzer：用于自动检测和验证Android应用程序中的下一个内容漏洞的工具。 492-499 米夏·马尔科齐 , 塞巴斯蒂安·巴丁 , 米卡·德拉哈耶 , 尼古拉·科马托夫 , 维吉尔·普雷沃斯托 :
利用LTest缓和覆盖标准的异质性。 500-507 Hiroshi Ukai先生 , 小曲 :
作为代码的测试设计：JCUnit。 508-515
动力学分析
丹尼尔·弗伦斯特罗姆 , 托马斯·古斯塔夫森 , Avenir Kobetski公司 :
SAGA工具箱：保护断言的交互式测试。 516-523 杜西卡·马里扬 , 马吕斯·利安 , 阿尔诺·哥特利布 , 萨加尔·森 , 卡洛·伊娃 :
TITAN：高度可配置软件的测试套件优化。 524-531 孙海阳 , 安德烈亚·罗莎 , 奥马尔·贾维德 , 沃尔特·宾德 :
ADRENALIN-RV：使用加载时编织进行Android运行时验证。 532-539
行业跟踪
丹尼尔·福勒 , 玛德琳·谢 , 西拉杰·艾哈迈德·谢赫 , 杰里米·布莱恩斯 :
走向汽车网络安全的试验台。 540-541 鲁道夫·拉姆勒 , 罗伯特·霍斯克 :
如何用十六种语言进行测试？ 本地化测试的自动化支持。 542-543 阿卜杜拉·阿勒纳耶姆 , 克日什托夫·奥斯特洛夫斯基 , 塞巴斯蒂安·普韦布拉斯 , 克里斯托夫·雷斯蒂夫 , 赛张（Sai Zhang） :
验证进化中的软件系统的信息需求：谷歌的一项探索性研究。 544-545 拉希德·达维什 , 林妮·纳基扬齐·格沃苏塔 , 理查德·托卡尔 :
汽车行业中基于模型的自动化软件测试用例覆盖率最大化的对照实验。 546-547 杨依林 , 黄新海 , 郝雪飞 , 刘子聪 , 陈振宇 :
基于自然语言处理的测试用例优先级的工业研究。 548-549
国际软件测试竞赛
埃米尔·艾尔·格罗斯 , 松木信辅 , 坦贾·E.J.沃斯 , 金鸡阿克曼 :
ICST国际软件测试竞赛概述。 550-551 云果（Yun Guo） :
定位和修复SQL谓词中的错误。 555-556 张晓东 :
使用符号分析调试多线程程序。 557-558 蒂埃里·蒂奇·切坎（Thierry Titcheu Chekam） :
自动化和可扩展的突变测试。 559-560 Mojdeh Golagha公司 :
故障诊断框架。 561-562 苏丹S.Al-Qahtani :
增强信任-软件漏洞分析框架。 563-564 费比安·特劳茨 :
反映了开源项目中软件测试研究的采用。 565-566 柳亚纳斯 :
非Zeno公平性Veri？的抽象精化？ 线性混合自动机。 567-568
