第二次研讨会
软件测试的验证、分析和演变

2018年3月20日|与桑纳2018意大利坎波巴索

文件征集

感兴趣的目标、范围和主题。

软件项目积累了大量测试用例,将有关测试软件的宝贵专家知识编码为许多人年。随着时间的推移,测试的可靠性降低,并且变得难以理解和维护。需要付出额外的努力来修复损坏的测试,并使测试套件和模型适应不断发展的软件系统。

软件测试的验证、分析和演变国际研讨会(VST)是一个独特的活动,汇集了学者、工业研究人员和从业人员,在应用软件分析的方法、技术和工具方面交流经验、解决方案和新想法,进化和重组,以提高测试开发和维护的最新水平。

研讨会邀请高质量的提交材料,包括但不限于:

●测试最小化和简化

●故障定位和自动修复

●软件测试的变更分析

●测试可视化和验证

●文件分析

●错误报告分析

●测试进展

●测试用例生成

●基于模型的测试

●上述主题的组合


  下载论文征集(txt)|传单(pdf)|海报(pdf)

o个

重要日期

地球上的任何地方。

摘要提交截止日期(延长)2018年1月15日AoE

论文提交截止日期(延长)2018年1月19日AoE

通知2018年2月9日

摄像头就绪2018年2月22日

提交

说明和提交地点。

我们鼓励提交关于上述主题的文件,页数限制为五页,IEEE格式。论文将由至少三名项目委员会成员在完全双盲审查过程后进行审查。论文选择基于科学独创性、新颖性和产生有趣讨论的潜力。

我们还将允许一到两页的快速摘要和工具演示论文在研讨会上演示,但不允许以书面形式发布。

提交说明

  • 论文不得超过五页的页数限制(包括所有文本、参考文献、附录和图表)

  • 文件必须符合IEEE格式指南用于会议记录

  • 论文必须为全双盲审查流程(作者姓名和从属关系必须省略,对作者自己作品的引用必须是第三人称,并且必须避免任何会泄露作者身份的命名或引用)

  • 论文必须是既没有出现在其他地方出版,也没有在其他出版物审查中的原创作品

  • 论文必须通过EasyChair以PDF格式提交至https://easychair.org/conferences/?conf=vst2018

  提交论文地址:VST 2018 EasyChair提交网站

程序

位置和时间表。

  主题演讲
代码、更改、测试和用户反馈的总结技术
瑞士苏黎世大学塞巴斯蒂亚诺·帕尼切拉博士

检测行为驱动开发规范中的重复示例
莱昂纳德·彼得·比纳蒙古(Leonard Peter Binamungu)、苏珊娜·恩伯里(Suzanne M.Embury)、尼古拉·康斯坦蒂努(Nikolaos Konstantinou)

自适应巡航控制系统基于需求的测试用例的自动生成
Adina Aniculasei、Falk Howar、Peer Denecke、Andreas Rausch

工业项目中生产和测试代码共同进化的回顾
Claus Klammer、Georg Buchgeher、Albin Kern

评估测试驱动开发期间持续测试的效率
谢尔盖·德梅耶(Serge Demeyer)、贝诺·维哈埃赫(Benoìt Verhaeghe)、安妮·埃蒂安(Anne Etien)、尼古拉·安奎蒂尔(Nicolas Anquetil)、圣埃芬·杜卡斯

组织

Charis和项目委员会。

项目委员会

西里尔·阿瑟,瑞典皇家理工学院(联合主席)

阿尔帕德·贝塞德斯匈牙利塞格德大学

瓦希德·卡洛西荷兰瓦赫宁根大学

穆罕默德·加法里瑞士伯尔尼大学

米洛斯·格里戈里奇美国德克萨斯大学奥斯汀分校

迈克拉·格雷勒、微软、美国

福克·豪尔德国克劳斯塔尔技术大学

北村隆日本国家先进工业科学技术研究所

腾龙美国马里兰大学

麻磊中国哈尔滨工业大学

莱昂纳多·马里亚尼意大利米兰大学

鲁道夫·拉姆勒奥地利哈根贝格软件能力中心(联合主席)

马蒂娜·塞德尔奥地利林茨约翰内斯·开普勒大学

联系人

联系。

给我们发电子邮件
顶部