{"title":"Testing of 3G 1xEV-DV Stack - A Case Study","authors":"Ira Acharya, Hemendra Kumar Singh","doi":"10.1007/3-540-44830-6_3","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_3","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125568207","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}
{"title":"Interoperability Testing Based on a Fault Model for a System of Communicating FSMs","authors":"V. Trenkaev, Myung-Gyun Kim, Soonuk Seol","doi":"10.1007/3-540-44830-6_17","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_17","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121947117","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}
{"title":"Testing Transition Systems with Input and Output Testers","authors":"A. Petrenko, N. Yevtushenko, Jiale Huo","doi":"10.1007/3-540-44830-6_11","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_11","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124645470","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}
{"title":"Towards Modeling and Testing of IP Routing Protocols","authors":"Jianping Wu, Zhongjie Li, Xia Yin","doi":"10.1007/3-540-44830-6_5","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_5","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":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122225822","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}
{"title":"Conformance of Distributed Systems","authors":"M. Frey, H. Schlingloff","doi":"10.1007/3-540-44830-6_13","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_13","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125826166","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}
{"title":"An Automata-Based Approach to Property Testing in Event Traces","authors":"H. Hallal, S. Boroday, A. Ulrich, A. Petrenko","doi":"10.1007/3-540-44830-6_14","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_14","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"2016 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114457973","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}
{"title":"TestNet: Let's Test Together!","authors":"A. Cavalli, Edgardo Montes de Oca, M. Núñez","doi":"10.1007/3-540-44830-6_19","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_19","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131320923","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}
I. Schieferdecker, Z. Dai, J. Grabowski, A. Rennoch
{"title":"The UML 2.0 Testing Profile and Its Relation to TTCN-3","authors":"I. Schieferdecker, Z. Dai, J. Grabowski, A. Rennoch","doi":"10.1007/3-540-44830-6_7","DOIUrl":"https://doi.org/10.1007/3-540-44830-6_7","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121595045","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}