停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

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

问别人

9.2013年海法核查会议：以色列海法

>主页 >会议和研讨会 >海法核查会议

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/2013
瓦莱丽亚·贝塔科,Axel Legay公司:
硬件和软件：验证和测试-第九届国际海法验证会议，HVC 2013，以色列海法，2013年11月5-7日，会议记录。计算机科学课堂讲稿8244,施普林格 2013，国际标准图书编号978-3-319-03076-0

第1部分：基于SAT和SMT的验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/CodishFM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/CodishFM13
迈克尔·科迪什,尤夫·费科特,阿米特·梅托迪:
平等的基础。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/LiG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/LiG13
李国栋,Indradeep Ghosh公司:
PASS：使用参数化数组和区间自动机求解字符串。 15-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/KuisminH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/KuisminH13网站
Tuomas Kuismin公司,凯霍·赫尔扬科:
增强对具有证据的活度模型检查结果的信心。 32-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/LangeNN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/LangeNN13
蒂姆·兰格,马丁·诺瓦厄（Martin R.Neuhäußer）,托马斯·诺尔:
加快可编程逻辑控制器代码的安全验证。 44-60

第2部分：软件测试I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/AhnM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/AhnM13
善和安,沙拉德·马利克:
将固件建模为服务功能及其在测试生成中的应用。 61-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/StypY13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/StypY13
萨布丽娜·冯·斯特普,余立勇（Liyong Yu）:
工业自动化软件基于符号模型的测试。 78-94

第三部分：软件测试II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/AcainiGR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/ArcainiGR13
保罗·阿卡尼,安吉洛·加甘蒂尼,蓖麻Elvinia Riccobene:
Java代码LTL属性的在线测试。 95-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/ArthoBHPSTY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/ArthoBHPSTY13
西里尔·瓦伦丁·阿瑟,阿明·比尔,Masami Hagiya先生,埃里克·柏拉图,马蒂娜·塞德尔,田本义一（Yoshinori Tanabe）,山本三郎:
Modbat：事件驱动系统的基于模型的API测试仪。 112-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/SifakisM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/SifakisM13网址
伊曼纽尔·西法基斯,劳伦特·穆尼尔:
并行执行扩展测试的预测性Taint分析。 129-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/SuLAFVNB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/SuLAFVNB13
陶素,约翰·莱尔,安德烈亚·阿特泽尼,沙马尔·费利,哈比比·维吉,克里斯托斯·恩塔诺斯,克里斯托斯·博特西卡斯:
基于Web的软件基础设施的持续集成：webinos项目的经验教训。 145-150

第4部分：支持动态验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/RabettiMGKP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/RabettiMGKP13
塔利·拉贝蒂,罗尼·莫拉德,亚历克斯·戈亚切夫,维萨姆·卡德里,理查德·彼得森:
SLAM：SLice And Merge-大型系统的有效测试生成。 151-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/KadryKKLNS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/KadryKKLNS13
维萨姆·卡德里,安纳托利·科伊夫曼,德米特里·克雷斯塔欣,西蒙·兰达,阿米尔·纳希尔,维塔利·索金:
通过使用预先生成的数据提高硅后验证效率。 166-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/AbelABGS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/AbelABGS13
安德烈亚斯·阿贝尔,阿隆·阿迪尔,托尔斯滕·布洛奇维茨,列夫·格林伯格,塔梅尔·萨勒曼:
使用可合成监测器开发和验证复杂混合系统。 182-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/YeolekarU13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/YeolekarU13
阿南·耶奥利卡尔,Divyesh Unadkat公司:
使用动态推断进行断言检查。 199-213

第5部分：规格和范围

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/PfahlerESHR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/PfahlerESHR13
约格·普瓦勒,吉登·恩斯特,格哈德·谢尔霍恩,多米尼克·汉伯格,沃尔夫冈·雷夫:
闪存擦除块管理层的正式规范。 214-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Ben-DavidCK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/Ben-DavidCK13
Shoham Ben-David公司,哈娜·查克勒,奥尔娜·库普夫曼:
基于关注的覆盖率指标。 230-245

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/KatzP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/KatzP13
加尔·卡茨,多龙·A·贝利德:
使用基于模型检查的遗传编程合成、纠正和改进代码。 246-261

第6部分：抽象

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/ApelBFRR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/ApelBFRR13
斯文·阿佩尔,德克·拜尔,卡尔海因斯·弗里德伯格,弗兰科·雷蒙迪,亚历山大·冯·莱恩:
域类型：基于变量用法的抽象域选择。 262-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/BozzanoCM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/BozzanoCM13
马可·波扎诺,亚历山德罗·西马蒂,克里斯蒂安·马塔雷:
通过谓词抽象对可靠性体系结构进行有效分析。 279-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/LiG13a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/LiG13a
李国栋,Indradeep Ghosh公司:
通过抽象和子空间搜索实现懒惰的符号执行。 295-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/TravkinMW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/TravkinMW13
奥列格·特拉夫金,安妮卡·缪泽,海克·韦尔海姆:
SPIN作为弱记忆模型下的线性化检查器。 311-326

第7部分：模型表示法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/CiesielskiBR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/CieselskiBR13
马西耶·西塞尔斯基（Maciej J.Ciesielski）,沃尔特-布朗,安德烈·罗西:
使用网络流模型进行算术位级验证。 327-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/Bensalem公司BBPQ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/BensalemBBPQ13
萨德克·本萨勒姆,Borzoo Bonakdarpour公司,马吕斯·博兹加,多龙·A·贝利德,让·奎尔贝夫:
使用概率模型检查的过程划分性能评估。 344-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/节流阀PR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/ChocklerPR13
哈娜·查克勒,德米特里·皮丹,西特瓦尼特·鲁阿:
改进ExpliSAT中的代表性计算。 359-364

服务

管理网站设置

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