Pub Date : 2004-09-21DOI: 10.1007/978-3-540-31848-4_5
L. B. Briones, E. Brinksma
{"title":"A Test Generation Framework for quiescent Real-Time Systems","authors":"L. B. Briones, E. Brinksma","doi":"10.1007/978-3-540-31848-4_5","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_5","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134250889","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_1
L. Frantzen, J. Tretmans, T. Willemse
{"title":"Test Generation Based on Symbolic Specifications","authors":"L. Frantzen, J. Tretmans, T. Willemse","doi":"10.1007/978-3-540-31848-4_1","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_1","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"187 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124307358","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_8
Hyoung Seok Hong, H. Ural
{"title":"Using Model Checking for Reducing the Cost of Test Generation","authors":"Hyoung Seok Hong, H. Ural","doi":"10.1007/978-3-540-31848-4_8","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_8","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123271960","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_12
Alain Vouffo-Feudjio, I. Schieferdecker
{"title":"Test Patterns with TTCN-3","authors":"Alain Vouffo-Feudjio, I. Schieferdecker","doi":"10.1007/978-3-540-31848-4_12","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_12","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117329511","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_9
J. Blom, A. Hessel, B. Jonsson, P. Pettersson
{"title":"Specifying and Generating Test Cases Using Observer Automata","authors":"J. Blom, A. Hessel, B. Jonsson, P. Pettersson","doi":"10.1007/978-3-540-31848-4_9","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_9","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131785208","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_7
B. Bordbar, Kozo Okano
{"title":"Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach","authors":"B. Bordbar, Kozo Okano","doi":"10.1007/978-3-540-31848-4_7","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_7","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":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121867199","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_2
Achim D. Brucker, B. Wolff
{"title":"Symbolic Test Case Generation for Primitive Recursive Functions","authors":"Achim D. Brucker, B. Wolff","doi":"10.1007/978-3-540-31848-4_2","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_2","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127246062","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_10
T. Arts, Koen Claessen, Hans Svensson
{"title":"Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang","authors":"T. Arts, Koen Claessen, Hans Svensson","doi":"10.1007/978-3-540-31848-4_10","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_10","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132584883","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_4
Natalia López, M. Núñez, Ismael Rodríguez
{"title":"Testing of Symbolic-Probabilistic Systems","authors":"Natalia López, M. Núñez, Ismael Rodríguez","doi":"10.1007/978-3-540-31848-4_4","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_4","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116541937","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 : 2004-09-21DOI: 10.1007/978-3-540-31848-4_11
Gaoyan Xie, Z. Dang
{"title":"An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components","authors":"Gaoyan Xie, Z. Dang","doi":"10.1007/978-3-540-31848-4_11","DOIUrl":"https://doi.org/10.1007/978-3-540-31848-4_11","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125614263","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
扫码关注我们
求助内容：
应助结果提醒方式：