Pub Date : 2014-11-18DOI: 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}
Pub Date : 2014-11-18DOI: 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}
Pub Date : 2014-11-18DOI: 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}
Pub Date : 2014-11-18DOI: 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}
Pub Date : 2014-09-16DOI: 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}
Pub Date : 2014-08-05DOI: 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}
Pub Date : 2013-11-05DOI: 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}
Pub Date : 2013-11-05DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：