Pub Date : 2003-10-06DOI: 10.1007/978-3-540-24617-6_9
A. Hessel, K. Larsen, B. Nielsen, P. Pettersson, A. Skou
{"title":"Time-Optimal Real-Time Test Case Generation Using Uppaal","authors":"A. Hessel, K. Larsen, B. Nielsen, P. Pettersson, A. Skou","doi":"10.1007/978-3-540-24617-6_9","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_9","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":"129264877","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_14
A. Sung, Byoungju Choi
{"title":"Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation","authors":"A. Sung, Byoungju Choi","doi":"10.1007/978-3-540-24617-6_14","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_14","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":"133982896","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_17
S. Ramakrishnan
{"title":"VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile","authors":"S. Ramakrishnan","doi":"10.1007/978-3-540-24617-6_17","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_17","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"45 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":"126049324","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_16
M. Badri, L. Badri, Marius Naha
{"title":"A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams","authors":"M. Badri, L. Badri, Marius Naha","doi":"10.1007/978-3-540-24617-6_16","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_16","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":"125181022","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_2
A. Sen, V. Garg
{"title":"On Checking Whether a Predicate Definitely Holds","authors":"A. Sen, V. Garg","doi":"10.1007/978-3-540-24617-6_2","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_2","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"42 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":"121763969","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_6
G. Xu, Zongyuang Yang
{"title":"JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit","authors":"G. Xu, Zongyuang Yang","doi":"10.1007/978-3-540-24617-6_6","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_6","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"19 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":"125274908","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_15
H. V. Beek, S. Mauw
{"title":"Automatic Conformance Testing of Internet Applications","authors":"H. V. Beek, S. Mauw","doi":"10.1007/978-3-540-24617-6_15","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_15","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"104 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":"128882276","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_12
Q. Guo, R. Hierons, M. Harman, Karnig Derderian
{"title":"Computing Unique Input/Output Sequences Using Genetic Algorithms","authors":"Q. Guo, R. Hierons, M. Harman, Karnig Derderian","doi":"10.1007/978-3-540-24617-6_12","DOIUrl":"https://doi.org/10.1007/978-3-540-24617-6_12","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"10 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":"124277902","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":"Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers","authors":"J. Grabowski, B. Nielsen","doi":"10.1007/b106767","DOIUrl":"https://doi.org/10.1007/b106767","url":null,"abstract":"","PeriodicalId":435764,"journal":{"name":"International Workshop on Formal Approaches to Testing of Software","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124242884","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
扫码关注我们
求助内容：
应助结果提醒方式：