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

TAP@TOOLS最新文献

筛选
英文 中文
Complementary Criteria for Testing Temporal Logic Properties 测试时间逻辑性质的补充准则
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_6
G. Fraser, F. Wotawa
{"title":"Complementary Criteria for Testing Temporal Logic Properties","authors":"G. Fraser, F. Wotawa","doi":"10.1007/978-3-642-02949-3_6","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_6","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121544507","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}
引用次数: 8
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate 基于抽象质量估计的混合系统误差优化
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_12
Stefan Ratschan, J. Smaus
{"title":"Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate","authors":"Stefan Ratschan, J. Smaus","doi":"10.1007/978-3-642-02949-3_12","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_12","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115751708","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}
引用次数: 11
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables 具有无界变量的开放系统的符号执行模型检验
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_11
Nicolas Rapin
{"title":"Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables","authors":"Nicolas Rapin","doi":"10.1007/978-3-642-02949-3_11","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_11","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"596 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133341150","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
Dynamic Symbolic Execution for Testing Distributed Objects 测试分布式对象的动态符号执行
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_9
Andreas Griesmayer, B. Aichernig, E. Johnsen, R. Schlatte
{"title":"Dynamic Symbolic Execution for Testing Distributed Objects","authors":"Andreas Griesmayer, B. Aichernig, E. Johnsen, R. Schlatte","doi":"10.1007/978-3-642-02949-3_9","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_9","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133245814","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}
引用次数: 12
Verification, Testing and Statistics 验证、测试和统计
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_2
A. Nori, S. Rajamani
{"title":"Verification, Testing and Statistics","authors":"A. Nori, S. Rajamani","doi":"10.1007/978-3-642-02949-3_2","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_2","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125710627","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
Security Testing and Formal Methods for High Levels Certification of Smart Cards 智能卡高级认证的安全测试和正式方法
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_1
B. Chetali
{"title":"Security Testing and Formal Methods for High Levels Certification of Smart Cards","authors":"B. Chetali","doi":"10.1007/978-3-642-02949-3_1","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_1","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128979662","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}
引用次数: 3
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization 将历史测试用例性能数据和资源约束合并到测试用例优先级中
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_5
Y. Fazlalizadeh, A. Khalilian, M. A. Azgomi, Saeed Parsa
{"title":"Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization","authors":"Y. Fazlalizadeh, A. Khalilian, M. A. Azgomi, Saeed Parsa","doi":"10.1007/978-3-642-02949-3_5","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_5","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122376983","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}
引用次数: 29
Could We Have Chosen a Better Loop Invariant or Method Contract? 我们可以选择一个更好的循环不变式或方法契约吗?
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_7
C. Gladisch
{"title":"Could We Have Chosen a Better Loop Invariant or Method Contract?","authors":"C. Gladisch","doi":"10.1007/978-3-642-02949-3_7","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_7","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115898516","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}
引用次数: 6
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process 在持续的硬件/软件协同验证过程中结合模型检查和测试
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_10
Paula Herber, F. Friedemann, S. Glesner
{"title":"Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process","authors":"Paula Herber, F. Friedemann, S. Glesner","doi":"10.1007/978-3-642-02949-3_10","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_10","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114180303","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}
引用次数: 13
Development of a Generic Voter under FoCal 在协调中心下发展一般投票人
TAP@TOOLS Pub Date : 2009-06-29 DOI: 10.1007/978-3-642-02949-3_3
Philippe Ayrault, T. Hardin, François Pessaux
{"title":"Development of a Generic Voter under FoCal","authors":"Philippe Ayrault, T. Hardin, François Pessaux","doi":"10.1007/978-3-642-02949-3_3","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_3","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121291593","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}
引用次数: 6
首页 上一页 下一页 尾页
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学术官方微信