第十二届国际测试与证明会议
2018年6月27日至29日,图卢兹
的一部分2018年STAF活动(并联ECMFA、ICGT、ICMT、SEFM、TAP、TTC)
目的和范围
TAP会议促进验证和正式研究针对证明和测试相互作用的方法:每种技术的进步及其组合提高软件和系统可靠性的最终目标。
最近,验证方面的研究发现异构技术和传统技术之间的协同测试(和动态分析)和证明(以及静态分析)。反示例生成的形式化技术例如,基于符号执行、SAT/SMT求解或模型检查,为以下组合的潜力提供证据测试和证明。谓词抽象与类似测试的结合基于穷举枚举的技术打开了视角用于证明正确性的新技术。在实际方面,测试提供了经济高效的规范调试技术或程序证明的关键部分(例如不变量)。最后但不是至少,在验证复杂系统模型的基本假设硬件和/或系统环境。多年来越来越多的研究团体接受测试和证明是互补的而不是互斥的技术。
TAP会议旨在促进通过将研究人员和从业者聚集在一起进行测试和证明来自两个验证领域。
诉讼
被接受的论文将在Springer LNCS系列中发表(细节待定)并将在会议上提供。
先前TAP程序的内容可从以下网址获得:http://www.informatik.uni-trier.de/~ley/db/conf/tap/
以前的TAP
|