默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第十三敲击@调频2019年：葡萄牙波尔图

>主页 >会议和研讨会 >TAP接头

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/2019年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/2019
德克·拜尔,尚塔尔·凯勒:
测试和校对-第13届国际会议，敲击@调频2019年，葡萄牙波尔图，2019年10月9日至11日，会议记录。计算机科学课堂讲稿11823,施普林格 2019，国际标准图书编号978-3-030-31156-8

受邀捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/0002JPW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/0002JPW19
托比亚斯·伊森伯格,玛丽·克里斯汀·雅各布斯,费利克斯·波克,海克·韦尔海姆:
软件验证结果何时对近似硬件有效？ 3-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/CavalcantiBHL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/CavalcantiBHL19
安娜·卡瓦尔坎蒂,詹姆斯·巴克斯特,罗伯特·海伦斯,拉卢卡·左翼:
使用CSP测试机器人。 21-38

定期捐款

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/KapusNC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/KapusNC19
Timotej Kapus公司,马丁·诺瓦克,克里斯蒂安·卡达尔:
动态符号执行中的约束：位向量还是整数？ 41-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/LavillonniereMC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/LavillonniereMC19
埃里克·拉维洛尼埃,大卫·曼特雷,丹尼斯·库西诺:
结合遗传算法和形式化方法的快速、自动和几乎完全的结构单元测试生成。 55-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/BosT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/BosT19
佩特拉·范登博斯,简·特雷特曼:
使用符号转换系统进行基于覆盖的测试。 64-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/OliveiraMDM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/OliveiraMDM19
迭戈·德·阿泽夫多·奥利维拉,小瓦列里奥·梅德罗斯。,大卫·戴哈贝,马丁·马西兰特:
BTestBox：测试B转换器和B模型覆盖率的工具。 83-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/AichernigPSW19配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/AichernigPSW19
伯恩哈德·艾切里尼（Bernhard K.Aichernig）,弗兰兹·佩恩科普夫,理查德·舒米,安德烈亚斯·沃尔姆:
通过深度学习预测和测试延迟：物联网案例研究。 93-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/PterenkoA19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/PterenkoA19
亚历山大·佩特伦科,弗洛伦特·阿维兰达:
学习通信状态机。 112-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/AndreAGR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/AndreAGR19
埃蒂安·安德烈,保罗·阿卡尼,安吉洛·加甘蒂尼,马可·拉达维利:
通过抽象和测试修复定时自动时钟保护器。 129-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/HuraultQ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/HuraultQ19
奥雷利·胡罗,菲利普·奎因内克:
用TLA^++证明进程重命名的非阻塞算法。 147-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/RoblesKPRG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/RoblesKPRG19
维吉尔·罗伯斯,尼古拉·科马托夫,维吉尔·普雷沃斯托,路易斯·瑞林,帕斯卡尔·勒加尔:
用MetAcsl驯服你的注释：指定、测试和证明高级属性。 167-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/天使FPPP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/AngelisFPPP19
伊曼纽尔·德·安吉利斯,法比奥·菲奥拉万蒂,阿德里安·帕拉西奥斯,阿尔贝托·佩托罗西,毛里齐奥·普罗埃蒂:
免费的基于属性的测试用例生成器。 186-206

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。