{"title":"State Identification Problems for Timed Automata","authors":"M. Krichen, S. Tripakis","doi":"10.1007/11430230_13","DOIUrl":"https://doi.org/10.1007/11430230_13","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":"2005-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131457337","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":"Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing","authors":"Annie Floch, F. Roudaut, Ariel Sabiguero, C. Viho","doi":"10.1007/11430230_22","DOIUrl":"https://doi.org/10.1007/11430230_22","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":"2005-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131717054","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}
M. U. Uyar, Yu Wang, S. S. Batth, A. Wise, M. Fecko
{"title":"Timing Fault Models for Systems with Multiple Timers","authors":"M. U. Uyar, Yu Wang, S. S. Batth, A. Wise, M. Fecko","doi":"10.1007/11430230_14","DOIUrl":"https://doi.org/10.1007/11430230_14","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127521420","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":"Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms","authors":"Keqin Li, David Lee","doi":"10.1007/11430230_18","DOIUrl":"https://doi.org/10.1007/11430230_18","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":"2005-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128827229","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}
A. Cavalli, Amel Mederreg, Fatiha Zaïdi, P. Combes, W. Monin, R. Castanet, M. MacKaya, Patrice Laurençot
{"title":"A Multi-service and Multi-protocol Validation Platform-Experimentation Results","authors":"A. Cavalli, Amel Mederreg, Fatiha Zaïdi, P. Combes, W. Monin, R. Castanet, M. MacKaya, Patrice Laurençot","doi":"10.1007/978-3-540-24704-3_2","DOIUrl":"https://doi.org/10.1007/978-3-540-24704-3_2","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117213283","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":"From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices","authors":"Z. Dai, J. Grabowski, Helmut Neukirchen, H. Pals","doi":"10.1007/978-3-540-24704-3_3","DOIUrl":"https://doi.org/10.1007/978-3-540-24704-3_3","url":null,"abstract":"","PeriodicalId":433439,"journal":{"name":"International Conference on Testing (of Software and) Communication Systems","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116144859","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}