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

On Tap最新文献

筛选
英文 中文
Finding Counter Examples in Induction Proofs 在归纳证明中寻找反例
On Tap Pub Date : 2008-04-09 DOI: 10.1007/978-3-540-79124-9_5
Koen Claessen, Hans Svensson
{"title":"Finding Counter Examples in Induction Proofs","authors":"Koen Claessen, Hans Svensson","doi":"10.1007/978-3-540-79124-9_5","DOIUrl":"https://doi.org/10.1007/978-3-540-79124-9_5","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116833582","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}
引用次数: 10
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model 基于“先发生后记忆”模型抽象解释的静态分析
On Tap Pub Date : 2008-04-09 DOI: 10.1007/978-3-540-79124-9_9
Pietro Ferrara
{"title":"Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model","authors":"Pietro Ferrara","doi":"10.1007/978-3-540-79124-9_9","DOIUrl":"https://doi.org/10.1007/978-3-540-79124-9_9","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114638868","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}
引用次数: 22
Pex-White Box Test Generation for .NET pex -白盒测试生成。net
On Tap Pub Date : 2008-04-09 DOI: 10.1007/978-3-540-79124-9_10
N. Tillmann, J. D. Halleux
{"title":"Pex-White Box Test Generation for .NET","authors":"N. Tillmann, J. D. Halleux","doi":"10.1007/978-3-540-79124-9_10","DOIUrl":"https://doi.org/10.1007/978-3-540-79124-9_10","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130597733","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}
引用次数: 957
Equivalence Checking for a Finite Higher Order pi-Calculus 有限高阶pi-微积分的等价性检验
On Tap Pub Date : 2008-04-09 DOI: 10.1007/978-3-540-79124-9_4
Zining Cao
{"title":"Equivalence Checking for a Finite Higher Order pi-Calculus","authors":"Zining Cao","doi":"10.1007/978-3-540-79124-9_4","DOIUrl":"https://doi.org/10.1007/978-3-540-79124-9_4","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123614140","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
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing 结合基于演绎的规格提取和黑盒测试的白盒测试
On Tap Pub Date : 2007-02-12 DOI: 10.1007/978-3-540-73770-4_12
Bernhard Beckert, C. Gladisch
{"title":"White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing","authors":"Bernhard Beckert, C. Gladisch","doi":"10.1007/978-3-540-73770-4_12","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4_12","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121284961","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}
引用次数: 27
Automatic Testing from Formal Specifications 来自正式规格的自动测试
On Tap Pub Date : 2007-02-12 DOI: 10.1007/978-3-540-73770-4_6
M. Satpathy, M. Butler, M. Leuschel, S. Ramesh
{"title":"Automatic Testing from Formal Specifications","authors":"M. Satpathy, M. Butler, M. Leuschel, S. Ramesh","doi":"10.1007/978-3-540-73770-4_6","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4_6","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116919767","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}
引用次数: 30
Testing and Proving Distributed Algorithms in Constructive Type Theory 构造型论中分布式算法的检验与证明
On Tap Pub Date : 2007-02-12 DOI: 10.1007/978-3-540-73770-4_5
Haiyan Qiao
{"title":"Testing and Proving Distributed Algorithms in Constructive Type Theory","authors":"Haiyan Qiao","doi":"10.1007/978-3-540-73770-4_5","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4_5","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128155123","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
Combining Static and Dynamic Reasoning for Bug Detection 结合静态和动态推理进行Bug检测
On Tap Pub Date : 2007-02-12 DOI: 10.1007/978-3-540-73770-4_1
Y. Smaragdakis, Christoph Csallner
{"title":"Combining Static and Dynamic Reasoning for Bug Detection","authors":"Y. Smaragdakis, Christoph Csallner","doi":"10.1007/978-3-540-73770-4_1","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4_1","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120950531","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}
引用次数: 45
Testable Requirements and Specifications 可测试需求和规格
On Tap Pub Date : 2007-02-12 DOI: 10.1007/978-3-540-73770-4_2
J. Ostroff, F. Torshizi
{"title":"Testable Requirements and Specifications","authors":"J. Ostroff, F. Torshizi","doi":"10.1007/978-3-540-73770-4_2","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4_2","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132958839","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
Testing and Verifying Invariant Based Programs in the SOCOS Environment SOCOS环境下基于不变量程序的测试与验证
On Tap Pub Date : 2007-02-12 DOI: 10.1007/978-3-540-73770-4_4
R. Back, Johannes Eriksson, Magnus O. Myreen
{"title":"Testing and Verifying Invariant Based Programs in the SOCOS Environment","authors":"R. Back, Johannes Eriksson, Magnus O. Myreen","doi":"10.1007/978-3-540-73770-4_4","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4_4","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125863559","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}
引用次数: 27
首页 上一页 下一页 尾页
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学术官方微信