A. Blass, Y. Gurevich, Lev Nachmanson, Margus Veanes
{"title":"Play to Test","authors":"A. Blass, Y. Gurevich, Lev Nachmanson, Margus Veanes","doi":"10.1007/11759744_3","DOIUrl":"https://doi.org/10.1007/11759744_3","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":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129031592","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 Testing Relations for Timed Systems","authors":"M. Núñez, Ismael Rodríguez","doi":"10.1007/11759744_8","DOIUrl":"https://doi.org/10.1007/11759744_8","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127880787","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":"Adaptive Random Testing by Bisection and Localization","authors":"Johannes Mayer","doi":"10.1007/11759744_6","DOIUrl":"https://doi.org/10.1007/11759744_6","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129219935","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":"Interactive Testing with HOL-TestGen","authors":"Achim D. Brucker, B. Wolff","doi":"10.1007/11759744_7","DOIUrl":"https://doi.org/10.1007/11759744_7","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125750732","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}
S. Blom, N. Ioustinova, J. V. D. Pol, A. Rennoch, N. Sidorova
{"title":"Simulated Time for Testing Railway Interlockings with TTCN-3","authors":"S. Blom, N. Ioustinova, J. V. D. Pol, A. Rennoch, N. Sidorova","doi":"10.1007/11759744_1","DOIUrl":"https://doi.org/10.1007/11759744_1","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116288352","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. Aiguier, A. Arnould, Clément Boin, P. L. Gall, B. Marre
{"title":"Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms","authors":"M. Aiguier, A. Arnould, Clément Boin, P. L. Gall, B. Marre","doi":"10.1007/11759744_14","DOIUrl":"https://doi.org/10.1007/11759744_14","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126992626","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}
Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
{"title":"Model-Based Testing Through a GUI","authors":"Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara","doi":"10.1007/11759744_2","DOIUrl":"https://doi.org/10.1007/11759744_2","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114191493","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}
S. Tasiran, Tayfun Elmas, Guven Bolukbasi, M. E. Keremoglu
{"title":"A Novel Test Coverage Metric for Concurrently-Accessed Software Components","authors":"S. Tasiran, Tayfun Elmas, Guven Bolukbasi, M. E. Keremoglu","doi":"10.1007/11759744_5","DOIUrl":"https://doi.org/10.1007/11759744_5","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":"2005-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130251963","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
扫码关注我们
求助内容：
应助结果提醒方式：