Pub Date : 2012-05-31DOI: 10.1007/978-3-642-30473-6_3
A. Armando, Giancarlo Pellegrino, R. Carbone, A. Merlo, D. Balzarotti
{"title":"From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap","authors":"A. Armando, Giancarlo Pellegrino, R. Carbone, A. Merlo, D. Balzarotti","doi":"10.1007/978-3-642-30473-6_3","DOIUrl":"https://doi.org/10.1007/978-3-642-30473-6_3","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132772738","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 : 2012-05-31DOI: 10.1007/978-3-642-30473-6_11
Martin Sulzmann, A. Zechner
{"title":"Constructive Finite Trace Analysis with Linear Temporal Logic","authors":"Martin Sulzmann, A. Zechner","doi":"10.1007/978-3-642-30473-6_11","DOIUrl":"https://doi.org/10.1007/978-3-642-30473-6_11","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116789042","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 : 2012-05-31DOI: 10.1007/978-3-642-30473-6_2
C. Pasareanu
{"title":"Combining Model Checking and Symbolic Execution for Software Testing","authors":"C. Pasareanu","doi":"10.1007/978-3-642-30473-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-30473-6_2","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115533031","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 : 2012-05-31DOI: 10.1007/978-3-642-30473-6_14
N. Creignou, U. Egly, M. Seidl
{"title":"A Framework for the Specification of Random SAT and QSAT Formulas","authors":"N. Creignou, U. Egly, M. Seidl","doi":"10.1007/978-3-642-30473-6_14","DOIUrl":"https://doi.org/10.1007/978-3-642-30473-6_14","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129345774","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_6
Matthias Büchler, Johan Oudinet, A. Pretschner
{"title":"Security Mutants for Property-Based Testing","authors":"Matthias Büchler, Johan Oudinet, A. Pretschner","doi":"10.1007/978-3-642-21768-5_6","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_6","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116828678","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_8
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, M. Frias
{"title":"Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications","authors":"Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, M. Frias","doi":"10.1007/978-3-642-21768-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_8","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134439722","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
扫码关注我们
求助内容：
应助结果提醒方式：