发布求助
文献互助 智能选刊 最新文献

International Workshop on Formal Approaches to Testing of Software最新文献

筛选
英文 中文
Time-Optimal Real-Time Test Case Generation Using Uppaal 使用Uppaal生成时间最优的实时测试用例
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 132
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation 基于硬件故障注入和程序突变的嵌入式系统交互测试
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 5
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile VISWAS与IEEE Std P1522和UML2.0测试概要的可诊断性
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 0
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams 用例驱动的测试过程:基于UML协作图的形式化方法
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 19
On Checking Whether a Predicate Definitely Holds 关于检查谓词是否绝对成立
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 6
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit JMLAutoTest:一个基于JML和JUnit的新型自动化测试框架
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 34
Automatic Conformance Testing of Internet Applications 互联网应用程序的自动一致性测试
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 8
Computing Unique Input/Output Sequences Using Genetic Algorithms 使用遗传算法计算唯一输入/输出序列
International Workshop on Formal Approaches to Testing of Software Pub Date : 2003-10-06 DOI: 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}
引用次数: 53
Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers 软件测试的正式方法，第四届国际研讨会，FATES 2004，林茨，奥地利，2004年9月21日，修订论文选集
International Workshop on Formal Approaches to Testing of Software Pub Date : 1900-01-01 DOI: 10.1007/b106767
J. Grabowski, B. Nielsen
{"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}
引用次数: 154
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信