Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
Pub Date : 2003-10-06DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：