2020年第13届ICST研讨会:葡萄牙波尔图
-
第13届IEEE软件测试、验证和确认国际会议研讨会,ICSTW 2020,葡萄牙波尔图,2020年10月24日至28日。 电气与电子工程师协会 2020 ,国际标准图书编号 978-1-7281-1075-2 蒂姆·A·D·亨德森 , 约翰·米科 , 鲍南阮 :
ICST 2020 CI/CD行业研讨会计划。 十四 迪米特里斯·西蒙斯 , 杰夫·于雷 , 聂长海 :
IWCT研讨会主席的一般信息。 十八 谢尔盖·德梅耶 , Adnan Causevic公司 , 克里斯蒂安·威克隆德 , Pasqualina Potena公司 :
测试自动化的下一个水平(NEXTA 2020)。 第二十二条 杰里米·布拉德伯里 , 彼得·克鲁斯 , 梅赫达德·萨达曼德 , 霍尔格·施林格洛夫 :
ToCaMS-可配置和多变量系统测试研讨会。 第二十七条
第16次基于模型的测试进展研讨会(A-MOST 2020)
艾托·阿列塔 , Joseba Andoni阿吉雷 , Goiuria Sagardui公司 :
基于功能需求的仿真模型测试用例和预言自动生成工具。 1-5 沙希德·马哈茂德 , 阿列克西·福伊莱德 , 黄义恩(Hoang Nga Nguyen) , Siraj A.Shaikh先生 :
一种基于模型的汽车空中更新安全测试方法。 6-13 弗兰兹·沃塔瓦 , 约西普·博齐克 , 李一豪 :
基于本体的测试:系统和软件建模和测试的新兴范式。 14-17 拉希德·科拉齐 :
使用表格表示法支持基于模型的测试:使用STTSpec和Spec Explorer的实践经验。 18-23 利恩·兰伯斯 , 斯文·施奈德 , 马塞尔·魏斯古特 :
只读图查询的基于模型的测试。 24-34 埃米尔·恩约尔 , 弗洛里安·洛伯 , 尼古拉·施密特 , 塞巴斯蒂安·彼得森 :
UPPAAL中的一致性测试:一种可怕的方法。 35-42 保罗·阿卡尼 , 拉斐拉·米兰多拉 , 蓖麻Elvinia Riccobene , 帕特里齐亚·斯坎杜拉 :
MAPE-K自适应控制回路的基于模型的测试。 43-51 西普里安·帕杜拉鲁 , 米鲁娜·帕杜拉鲁 , 阿林·斯特凡内斯库 :
使用强化学习优化协调执行中的决策制定。 52-61
第三届基于事件的软件用户界面测试自动化和测试技术国际研讨会(INTUITESTBEDS 2020)
贝斯顿·S·艾哈迈德 , 安吉洛·加甘蒂尼 , 米罗斯拉夫·布雷斯 :
基于模型分离的智能电视应用程序自动测试框架。 62-73 里卡多·科波拉 , 卢卡·阿迪托 , 马可·托奇亚诺 , 埃米尔·艾尔·格罗斯 :
从可视化到基于布局的Android测试用例的转换:概念验证。 74-83 埃罗迪·伯纳德 , 法布里斯·安伯特 , 布鲁诺传奇 :
使用轻量级MBT支持高效的测试自动化。 84-94 亚历山大·坎尼 , 菲利普·A·帕兰克 , 大卫·纳瓦雷 :
基于模型的GUI应用程序测试,以动态显示控件为特征。 95-104
第四届软件系统非功能特性和质量特性测试国际研讨会(ITEQS 2020)
伊万·波雷斯 , 坦维尔·艾哈迈德 , Hergys Rexha公司 , 塞巴斯蒂安·拉丰德 , Dragos Truscan公司 :
使用鉴别器神经网络进行自动探索性性能测试。 105-113 内勒·G·巴契加 , 保罗·塞尔吉奥·洛佩斯·德索萨 , Sarita Mazzini Bruschi公司 , 西蒙·多·罗西奥·森格·德索萨 :
集装箱共享容量的性能评估。 114-123 Mitsuaki Tsuji先生 , Toshinori Takai先生 , Kazuki Kakimoto公司 , 石原直树 , 马萨福米·卡塔希拉 , Hajimu Iida先生 :
使用统计模型检查基于STAMP/STPA的场景优先级。 124-132 弗朗西斯科·阿劳约 , 伊贝里亚·梅德罗斯 , 努诺·内维斯 :
生成测试以发现产品变体中的安全缺陷。 133-142 艾美儿奶油 , 亚历山大·维诺特 , 安托万·雪佛龙 , 法比安·佩鲁克斯 , 布鲁诺传奇 :
空中交通监视中虚假数据注入攻击测试的测试数据生成。 143-152 穆罕默德·阿巴斯 , 阿卜杜勒·劳夫 , 梅赫达德·萨达曼德 , 爱德华·保罗·伊诺乌 , 丹尼尔·桑德马克 :
基于关键字的功能外特性测试分类。 153-156
组合测试研讨会(IWCT 2020)
安德烈亚·邦巴达 , 安吉洛·加甘蒂尼 :
基于自动机的有限状态机组合序列测试生成方法。 157-166 D.理查德·库恩 , 拉胡·卡克 , 于磊 , 迪米特里斯·西蒙斯 :
可解释人工智能的组合方法。 167-170 康拉德·Fögen , 霍斯特·利希特 :
组合稳健性测试中过度约束测试模型的无效测试输入生成。 171-180 李一浩 , 弗兰兹·沃塔瓦 :
关于使用本体论测试编译器。 181-184 简·里希特 , 贝斯顿·S·艾哈迈德 , 米罗斯拉夫·布雷斯 , 小克莱伯·R·罗莎 :
Avocado:面向实际应用的开放源代码灵活约束交互测试。 185-190 迈克尔·瓦格纳 , 克里斯托弗·克莱恩 , 迪米特里斯·西蒙斯 , 瑞克·库恩 , 拉胡·卡克 :
CAGEN:一个快速组合测试生成工具,支持约束和高阶index数组。 191-200 托本·弗里德里希斯 , 康拉德·Fögen , 霍斯特·利希特 :
故障表征算法的比较基础结构。 201-210 小平西野 , 北村隆 , Tomoji Kishi先生 , 西里尔·阿瑟 :
走向基于交互的测试套件最小化的编码方法。 211-212
第七届软件测试体系结构国际研讨会(InSTA 2020)
乔恩·哈加 , 劳拉·哈加 :
识别软件测试架构师的技能和知识。 213-215 田中Takamasa Tanaka , Hidekazu Niibori公司 , 李世英 , 野村Shimpei , 中尾忠雄 , 津田和彦 :
网站用户行为分析数据生成的基于硒的测试系统。 216-221 弗朗西斯科·帕尔马 , 努诺·雷斯塔 , 卡洛斯·塞隆 , 路易斯·奈斯 , 乔·奥利维拉 , 阿娜·德·阿尔梅达 :
安卓应用程序的自动化安全测试,用于安全移动开发。 222-231 奥丹友弘 , Shizuka Ban公司 , Hiroki Iseri先生 , 库米科·伊塞里 , 秋湖佐藤 :
测试团队成员对测试方面有共同理解的技巧。 232-236 秀原英寿 , Nishi Yasuharu :
符合汽车标准的测试场景集成元模型。 237-240 佐士·马苏达(Satoshi Masuda) , Nishi Yasuharu , 铃木一弘 :
使用国际标准的复杂软件测试分析。 241-246
第十五届突变分析国际研讨会(突变2020)
托马斯·洛朗 , Fionnula墙 , 安东尼·文崔斯克 :
关于Pitest中超时和JVM崩溃的影响。 247-253 弗朗西斯科·戈梅斯·德·奥利维拉·内托 , 费利克斯·多布斯劳 , 罗伯特·费尔特 :
使用突变测试来衡量行为测试的多样性。 254-263 亚历山德罗·维奥拉·皮佐莱托 , Fabiano Cutigi法拉利 , 卢卡斯·迪尼兹·达利洛 , 奥法特 :
SiMut:探索程序相似性以支持突变测试的成本降低。 264-273 亚历杭德拉·杜克·托雷斯 , 纳蒂亚·多利亚什维利 , 迪特马尔·普法尔 , 鲁道夫·拉姆勒 :
预测存活和杀死的突变体。 274-283 本托·西奎拉 , Fabiano Cutigi法拉利 , 卡西亚尼·伊丽莎·德索萨 , 丹尼尔·桑提布亚涅斯 , 瓦尔特·维埃拉·德卡马戈 :
自适应和上下文感知系统的故障类型及其与基于故障的测试方法的关系。 284-293 迈克尔·贝尔 , 诺伯特·奥斯特 , 迈克尔·菲利普森 :
突变蒸馏器:使用符号执行自动检测等效突变和生成突变杀伤测试。 294-303 小克劳迪尼·布里托 , Vinicius H.S.Durelli葡萄酒 , 拉斐尔·塞拉皮拉·杜雷利 , 西蒙·苏扎(Simone R.S.Souza) , 奥里·M·R·文森齐 , 马尔西奥·爱德华多·德拉马罗 :
使用机器学习算法识别最小和等效突变的初步研究。 304-313
第三届IEEE NEXt级测试自动化研讨会(NEXTA 2020)
王玉庆(Yuqing Wang) , Maaret Pyhäjärvi公司 , Mika V.Mäntylä :
DevOps团队中的测试自动化过程改进:经验报告。 314-321 哈立德·瓦利德·阿尔萨巴赫 , 米罗斯瓦夫·斯塔龙 , 米罗斯瓦·奥乔德克 , 里贾娜·赫比格 , 威廉·梅丁 :
基于大数据的选择性回归测试:比较特征提取技术。 322-329 尼尔斯野生 , 霍斯特·利希特 , 彼得·凯伦 :
应用程序环境框架的测试自动化挑战。 330-333 西格丽德·埃尔德 :
测试自动化改进模型-TAIM 2.0。 334-337 拉尔夫·格里奇 , 克里斯蒂安·普拉斯 :
优化模糊和测试数据生成进化算法的参数。 338-345 费利克斯·多布斯劳 , 弗朗西斯科·戈梅斯·德·奥利维拉·内托 , 罗伯特·费尔特 :
软件分析的边界值探索。 346-353 詹·塞金 , 卡罗尔·拉斯托克尼(Karol Rástocn) :
使用强化学习生成MC/DC标准的测试数据。 354-357 沟口正史 , Iida高弘 , 托鲁·艾琳 :
基于嵌入式软件集成测试配置的自动执行优化。 358-363 米歇尔·纳斯 , 埃米尔·艾尔·格罗斯 , 罗伯特·费尔特 :
关于增强测试的工业适用性:一项实证研究。 364-371 瓦伦·纳亚克 , 丹尼尔·克劳斯 :
GUI测试生成中用于操作选择的基于会话的推荐系统。 372-375 芭芭拉·荣格 , 彼得·克鲁斯 :
使用测试自动化的分类树方法进行运行时优先级排序。 376-379
第十五届测试研讨会: 学术-产业合作、实践和研究技术(TAIC PART 2020)
努尔·切图瓦内 , 弗兰兹·沃塔瓦 , 赫尔曼·费尔宾格 , Mihai Nica公司 :
关于使用k-means聚类减少测试套件。 380-385 萨欣·迪利姆 , 哈桑·舍泽 :
针对认证测试的不同测试成本和故障严重性的测试用例的优先级。 386-391 伊莎贝尔·埃文斯 , 克里斯·波特 , 马克·米卡列夫 , 朱利安·哈蒂 :
测试工具:可用性的幻觉? 392-397 尼塔洛·桑托斯 , 席尔瓦娜·森塔·梅洛 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·苏扎(Simone R.S.Souza) :
建立统一的属性目录,以指导软件测试技术选择行业。 398-407 朱利安·哈蒂 :
如何通过分析改进软件测试以交付更好的应用程序? 408-410
第一届国际软件测试教育研讨会(TestEd 2020)
凯西娜·巴拉尔 , 保罗·阿曼 :
通过主动学习教授测试概念(JUnit)。 411 林登 , 乔什·德林格 , 素兰詹·查克拉博蒂 :
用自由和开源软件教授软件测试。 412-418 安德烈亚·阿库里 :
在算法和数据结构课程中教授软件测试。 419-424 利恩·兰伯斯 :
如何教授软件测试? 三明治方法的经验。 425-428 弗雷德里克·达多 , Jean-Philippe Gros公司 , 法比安·佩鲁克斯 :
介绍测试工具和原则的基于案例的方法。 429-436 I.S.W.B.普拉塞蒂亚 , 克雷格·Q·H·D·韭菜 , 罗恩·奥森布鲁格 , 花瓣Kostic , 迈克·德·弗里斯 :
学习正式规范会很有趣吗?- 经验和观点。 437-440 莎拉·赫克曼 , 杰西卡·杨·施密特 , 杰森·金 :
在CS课程中整合测试。 441-444 Upsorn Praphamontripong公司 , 马克·弗洛里安 , 瑞安·里佐 :
关于大学软件测试课程中动手和跨课程活动的初步报告。 445-451 罗兰·皮特斯 :
在面向对象编程课程中纳入测试主题。 452-456 托马斯·奥尔 , 迈克尔·费尔德勒 :
使用LEGO®MINDSTORMS®构建物联网测试的学习环境。 457-460 弗雷泽 , 阿莱西奥·甘比 , 何塞·米盖尔·罗哈斯 :
用代码维护者测试游戏教授软件测试:经验和改进。 461-464
可配置和多变量系统测试研讨会(ToCaMS 2020)
阿娜·菲达尔戈 , 伊贝里亚·梅德罗斯 , 保罗·安图内斯 , 努诺·内维斯 :
Web应用程序变体漏洞检测的深度学习模型。 465-476 乌萨马·杰巴尔 , 穆罕默德·艾曼·赛义德 , Ferhat Khendek公司 , 玛丽亚·托埃罗 :
云系统回归测试套件简化。 477-486 弗拉基米尔·施密特 , 彼得·克鲁斯 :
在变量存在的情况下,使用分类树方法进行测试设计。 487-490 朱利安·哈蒂 :
快速摘要:测试系统的数据动态。 491-492