发布求助
文献互助 智能选刊 最新文献

Haifa Verification Conference最新文献

筛选
英文 中文
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams 基于多值决策图的高效组合测试生成
Haifa Verification Conference Pub Date : 2014-11-18 DOI: 10.1007/978-3-319-13338-6_17
A. Gargantini, Paolo Vavassori
{"title":"Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams","authors":"A. Gargantini, Paolo Vavassori","doi":"10.1007/978-3-319-13338-6_17","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_17","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"291 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114354896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution 符号执行中增量约束求解方法的比较研究
Haifa Verification Conference Pub Date : 2014-11-18 DOI: 10.1007/978-3-319-13338-6_21
Tianhai Liu, M. Araújo, Marcelo d’Amorim, Mana Taghdiri
{"title":"A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution","authors":"Tianhai Liu, M. Araújo, Marcelo d’Amorim, Mana Taghdiri","doi":"10.1007/978-3-319-13338-6_21","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_21","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126534861","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
Generating Modulo-2 Linear Invariants for Hardware Model Checking 用于硬件模型检验的模-2线性不变量的生成
Haifa Verification Conference Pub Date : 2014-11-18 DOI: 10.1007/978-3-319-13338-6_5
Gadi Aleksandrowicz, A. Ivrii, Oded Margalit, D. Rasin
{"title":"Generating Modulo-2 Linear Invariants for Hardware Model Checking","authors":"Gadi Aleksandrowicz, A. Ivrii, Oded Margalit, D. Rasin","doi":"10.1007/978-3-319-13338-6_5","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_5","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121682989","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions Suraq -一个使用未解释函数的控制器合成工具
Haifa Verification Conference Pub Date : 2014-11-18 DOI: 10.1007/978-3-319-13338-6_6
Georg Hofferek, Ashutosh Gupta
{"title":"Suraq - A Controller Synthesis Tool Using Uninterpreted Functions","authors":"Georg Hofferek, Ashutosh Gupta","doi":"10.1007/978-3-319-13338-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_6","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127300079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Generating JML Specifications from Alloy Expressions 从Alloy表达式生成JML规范
Haifa Verification Conference Pub Date : 2014-11-18 DOI: 10.1007/978-3-319-13338-6_9
D. Grunwald, C. Gladisch, Tianhai Liu, Mana Taghdiri, S. Tyszberowicz
{"title":"Generating JML Specifications from Alloy Expressions","authors":"D. Grunwald, C. Gladisch, Tianhai Liu, Mana Taghdiri, S. Tyszberowicz","doi":"10.1007/978-3-319-13338-6_9","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_9","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"161 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116928931","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Automatic Error Localization for Software Using Deductive Verification 基于演绎验证的软件自动错误定位
Haifa Verification Conference Pub Date : 2014-09-16 DOI: 10.1007/978-3-319-13338-6_8
Robert Könighofer, Ronald Toegl, R. Bloem
{"title":"Automatic Error Localization for Software Using Deductive Verification","authors":"Robert Könighofer, Ronald Toegl, R. Bloem","doi":"10.1007/978-3-319-13338-6_8","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_8","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131495841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Framework to Synergize Partial Order Reduction with State Interpolation 偏阶约简与状态插值的协同框架
Haifa Verification Conference Pub Date : 2014-08-05 DOI: 10.1007/978-3-319-13338-6_14
D. Chu, J. Jaffar
{"title":"A Framework to Synergize Partial Order Reduction with State Interpolation","authors":"D. Chu, J. Jaffar","doi":"10.1007/978-3-319-13338-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-13338-6_14","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123170031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Modbat: A Model-Based API Tester for Event-Driven Systems Modbat:事件驱动系统的基于模型的API测试器
Haifa Verification Conference Pub Date : 2013-11-05 DOI: 10.1007/978-3-319-03077-7_8
Cyrille Artho, Armin Biere, M. Hagiya, E. Platon, M. Seidl, Yoshinori Tanabe, M. Yamamoto
{"title":"Modbat: A Model-Based API Tester for Event-Driven Systems","authors":"Cyrille Artho, Armin Biere, M. Hagiya, E. Platon, M. Seidl, Yoshinori Tanabe, M. Yamamoto","doi":"10.1007/978-3-319-03077-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_8","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126309175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
Efficient Analysis of Reliability Architectures via Predicate Abstraction 基于谓词抽象的可靠性体系结构高效分析
Haifa Verification Conference Pub Date : 2013-11-05 DOI: 10.1007/978-3-319-03077-7_19
M. Bozzano, A. Cimatti, Cristian Mattarei
{"title":"Efficient Analysis of Reliability Architectures via Predicate Abstraction","authors":"M. Bozzano, A. Cimatti, Cristian Mattarei","doi":"10.1007/978-3-319-03077-7_19","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_19","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128261788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
SLAM: SLice And Merge - Effective Test Generation for Large Systems SLAM:切片和合并——大型系统的有效测试生成
Haifa Verification Conference Pub Date : 2013-11-05 DOI: 10.1007/978-3-319-03077-7_11
Tali Rabetti, Ronny Morad, A. Goryachev, W. Kadry, Richard D. Peterson
{"title":"SLAM: SLice And Merge - Effective Test Generation for Large Systems","authors":"Tali Rabetti, Ronny Morad, A. Goryachev, W. Kadry, Richard D. Peterson","doi":"10.1007/978-3-319-03077-7_11","DOIUrl":"https://doi.org/10.1007/978-3-319-03077-7_11","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122195999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信