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

International Conference on Testing (of Software and) Communication Systems最新文献

筛选
英文 中文
Generating Test Cases for Web Services Using Extended Finite State Machine 使用扩展有限状态机为Web服务生成测试用例
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_7
ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi
{"title":"Generating Test Cases for Web Services Using Extended Finite State Machine","authors":"ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi","doi":"10.1007/11754008_7","DOIUrl":"https://doi.org/10.1007/11754008_7","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"38 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116337399","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}
引用次数: 72
Using Distinguishing and UIO Sequences Together in a Checking Sequence 在检查序列中同时使用区分序列和UIO序列
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_17
M. Cihan Yalcin, Husnu Yenigun
{"title":"Using Distinguishing and UIO Sequences Together in a Checking Sequence","authors":"M. Cihan Yalcin, Husnu Yenigun","doi":"10.1007/11754008_17","DOIUrl":"https://doi.org/10.1007/11754008_17","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128436546","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}
引用次数: 15
Analyzing the Impact of Protocol Changes on Tests 分析协议变更对测试的影响
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_13
M. Subramaniam, Z. Pap
{"title":"Analyzing the Impact of Protocol Changes on Tests","authors":"M. Subramaniam, Z. Pap","doi":"10.1007/11754008_13","DOIUrl":"https://doi.org/10.1007/11754008_13","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130704772","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
Towards the Testing of Composed Web Services in 3rd Generation Networks 面向第三代网络的组合Web服务测试
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_8
A. Benharref, R. Dssouli, R. Glitho, M. Serhani
{"title":"Towards the Testing of Composed Web Services in 3rd Generation Networks","authors":"A. Benharref, R. Dssouli, R. Glitho, M. Serhani","doi":"10.1007/11754008_8","DOIUrl":"https://doi.org/10.1007/11754008_8","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114743176","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
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses 评估异质检验假设集的逻辑
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_3
Ismael Rodríguez, Mercedes G. Merayo, M. Núñez
{"title":"A Logic for Assessing Sets of Heterogeneous Testing Hypotheses","authors":"Ismael Rodríguez, Mercedes G. Merayo, M. Núñez","doi":"10.1007/11754008_3","DOIUrl":"https://doi.org/10.1007/11754008_3","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122282705","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
Use of TTCN-3 for Software Module Testing 使用TTCN-3进行软件模块测试
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_11
A. Nyberg
{"title":"Use of TTCN-3 for Software Module Testing","authors":"A. Nyberg","doi":"10.1007/11754008_11","DOIUrl":"https://doi.org/10.1007/11754008_11","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125073228","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
Application of Two Test Generation Tools to an Industrial Case Study 两种测试生成工具在工业案例研究中的应用
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_9
A. Cavalli, S. Maag, Wissam Mallouli, Mikael Marche, Y. Quemener
{"title":"Application of Two Test Generation Tools to an Industrial Case Study","authors":"A. Cavalli, S. Maag, Wissam Mallouli, Mikael Marche, Y. Quemener","doi":"10.1007/11754008_9","DOIUrl":"https://doi.org/10.1007/11754008_9","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121237615","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
Symbolic Execution Techniques for Test Purpose Definition 用于测试目的定义的符号执行技术
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_1
Christophe Gaston, P. L. Gall, Nicolas Rapin, A. Touil
{"title":"Symbolic Execution Techniques for Test Purpose Definition","authors":"Christophe Gaston, P. L. Gall, Nicolas Rapin, A. Touil","doi":"10.1007/11754008_1","DOIUrl":"https://doi.org/10.1007/11754008_1","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126227447","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}
引用次数: 107
Detecting Observability Problems in Distributed Testing 分布式测试中的可观察性问题检测
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_14
Jessica Chen, H. Ural
{"title":"Detecting Observability Problems in Distributed Testing","authors":"Jessica Chen, H. Ural","doi":"10.1007/11754008_14","DOIUrl":"https://doi.org/10.1007/11754008_14","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123629502","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
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking 安全协议的消息机密性测试——被动监控和主动检查
International Conference on Testing (of Software and) Communication Systems Pub Date : 2006-05-16 DOI: 10.1007/11754008_23
Guoqiang Shu, David Lee
{"title":"Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking","authors":"Guoqiang Shu, David Lee","doi":"10.1007/11754008_23","DOIUrl":"https://doi.org/10.1007/11754008_23","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123248675","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
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信