{"title":"Compositional Testing of Communication Systems","authors":"R. Gotzhein, F. Khendek","doi":"10.1007/11754008_15","DOIUrl":"https://doi.org/10.1007/11754008_15","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"90 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":"123592300","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}
Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, B. Tian
{"title":"Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems","authors":"Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, B. Tian","doi":"10.1007/11754008_21","DOIUrl":"https://doi.org/10.1007/11754008_21","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":"115635728","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}
Ismail Berrada, R. Castanet, Patrick Félix, A. Salah
{"title":"Test Case Minimization for Real-Time Systems Using Timed Bound Traces","authors":"Ismail Berrada, R. Castanet, Patrick Félix, A. Salah","doi":"10.1007/11754008_19","DOIUrl":"https://doi.org/10.1007/11754008_19","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"7 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":"115135166","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":"Symbolic and on the Fly Testing with Real-Time Observers","authors":"R. Bouaziz, O. Koné","doi":"10.1007/11754008_20","DOIUrl":"https://doi.org/10.1007/11754008_20","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":"134059781","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":"Bounded Sequence Testing from Non-deterministic Finite State Machines","authors":"F. Ipate","doi":"10.1007/11754008_4","DOIUrl":"https://doi.org/10.1007/11754008_4","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"128 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":"133256256","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":"Distributed Load Tests with TTCN-3","authors":"G. Din, Sorin Tolea, I. Schieferdecker","doi":"10.1007/11754008_12","DOIUrl":"https://doi.org/10.1007/11754008_12","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":"2006-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117092532","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":"FSM Test Translation Through Context","authors":"K. El-Fakih, A. Petrenko, N. Yevtushenko","doi":"10.1007/11754008_16","DOIUrl":"https://doi.org/10.1007/11754008_16","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"21 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":"129420481","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":"Reducing the Lengths of Checking Sequences by Overlapping","authors":"H. Ural, Fan Zhang","doi":"10.1007/11754008_18","DOIUrl":"https://doi.org/10.1007/11754008_18","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":"130429666","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":"Performance Analysis of Concurrent PCOs in TTCN-3","authors":"M. Csorba, S. Palugyai, Sarolta Dibuz, G. Csopaki","doi":"10.1007/11754008_10","DOIUrl":"https://doi.org/10.1007/11754008_10","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"8 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":"130600838","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}