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

International Workshop on Formal Approaches to Testing of Software最新文献

筛选
英文 中文
Compositional Testing with ioco 用ioco进行成分测试
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_7
M. V. D. Bijl, A. Rensink, J. Tretmans
{"title":"Compositional Testing with ioco","authors":"M. V. D. Bijl, A. Rensink, J. Tretmans","doi":"10.1007/978-3-540-24617-6_7","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_7","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"243 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127695782","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}
引用次数: 149
Test Cases Generation for Nondeterministic Real-Time Systems 不确定实时系统的测试用例生成
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_10
A. Khoumsi, Thierry Jéron, H. Marchand
{"title":"Test Cases Generation for Nondeterministic Real-Time Systems","authors":"A. Khoumsi, Thierry Jéron, H. Marchand","doi":"10.1007/978-3-540-24617-6_10","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_10","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132085775","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}
引用次数: 49
Black-Box Testing of Grey-Box Behavior 灰盒行为的黑盒测试
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_1
B. Tyler, N. Soundarajan
{"title":"Black-Box Testing of Grey-Box Behavior","authors":"B. Tyler, N. Soundarajan","doi":"10.1007/978-3-540-24617-6_1","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_1","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130512630","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}
引用次数: 16
Automatic Generation of Test Purposes for Testing Distributed Systems 分布式系统测试目的的自动生成
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_13
O. Henniger, Miao Lu, H. Ural
{"title":"Automatic Generation of Test Purposes for Testing Distributed Systems","authors":"O. Henniger, Miao Lu, H. Ural","doi":"10.1007/978-3-540-24617-6_13","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_13","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130486379","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
Property Oriented Test Case Generation 面向属性的测试用例生成
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_11
Jean-Claude Fernandez, L. Mounier, C. Pachon
{"title":"Property Oriented Test Case Generation","authors":"Jean-Claude Fernandez, L. Mounier, C. Pachon","doi":"10.1007/978-3-540-24617-6_11","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_11","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132380048","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
Auto-generating Test Sequences Using Model Checkers: A Case Study 使用模型检查器自动生成测试序列:一个案例研究
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_4
M. Heimdahl, Sanjai Rayadurgam, W. Visser, G. Devaraj, Jimin Gao
{"title":"Auto-generating Test Sequences Using Model Checkers: A Case Study","authors":"M. Heimdahl, Sanjai Rayadurgam, W. Visser, G. Devaraj, Jimin Gao","doi":"10.1007/978-3-540-24617-6_4","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_4","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128625110","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}
引用次数: 93
Towards a Tool Environment for Model-Based Testing with AsmL 用AsmL实现基于模型的测试的工具环境
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_18
Mike Barnett, W. Grieskamp, Lev Nachmanson, Wolfram Schulte, N. Tillmann, Margus Veanes
{"title":"Towards a Tool Environment for Model-Based Testing with AsmL","authors":"Mike Barnett, W. Grieskamp, Lev Nachmanson, Wolfram Schulte, N. Tillmann, Margus Veanes","doi":"10.1007/978-3-540-24617-6_18","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_18","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123827890","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}
引用次数: 77
Using a Software Testing Technique to Improve Theorem Proving 用软件测试技术改进定理证明
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_3
Reiner Hähnle, Angela Wallenburg
{"title":"Using a Software Testing Technique to Improve Theorem Proving","authors":"Reiner Hähnle, Angela Wallenburg","doi":"10.1007/978-3-540-24617-6_3","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_3","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"27 22","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120848508","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
Defining Observation Objectives for Reactive and Distributed Systems 定义响应式和分布式系统的观察目标
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_8
T. Aaltonen
{"title":"Defining Observation Objectives for Reactive and Distributed Systems","authors":"T. Aaltonen","doi":"10.1007/978-3-540-24617-6_8","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_8","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131583193","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}
引用次数: 0
Mutually Enhancing Test Generation and Specification Inference 相互增强的测试生成和规范推理
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 10.1007/978-3-540-24617-6_5
Tao Xie, D. Notkin
{"title":"Mutually Enhancing Test Generation and Specification Inference","authors":"Tao Xie, D. Notkin","doi":"10.1007/978-3-540-24617-6_5","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_5","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124136971","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}
引用次数: 69
首页 上一页 下一页 尾页
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学术官方微信