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

2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)最新文献

筛选
英文 中文
SWAT tool at the SBST 2021 Tool Competition SBST 2021工具竞赛中的SWAT工具
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 2021-05-01 DOI: 10.1109/SBST52555.2021.00019
D. Humeniuk, G. Antoniol, Foutse Khomh
{"title":"SWAT tool at the SBST 2021 Tool Competition","authors":"D. Humeniuk, G. Antoniol, Foutse Khomh","doi":"10.1109/SBST52555.2021.00019","DOIUrl":"https://doi.org/10.1109/SBST52555.2021.00019","url":null,"abstract":"SWAT is a test case generating tool for testing cyber-physical systems (CPS). In the context of SBST 2021 CPS testing competition, it has been adapted to generating virtual roads to test a lane keeping assist system. It has achieved the best ratio between valid and generated test cases, producing over 95% valid test cases in both testing configurations.","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134628855","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
Kex at the 2021 SBST Tool Competition Kex在2021年SBST工具竞赛
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 2021-05-01 DOI: 10.1109/SBST52555.2021.00014
A. Abdullin, M. Akhin, Mikhail Beliaev
{"title":"Kex at the 2021 SBST Tool Competition","authors":"A. Abdullin, M. Akhin, Mikhail Beliaev","doi":"10.1109/SBST52555.2021.00014","DOIUrl":"https://doi.org/10.1109/SBST52555.2021.00014","url":null,"abstract":"Kex is an automatic white-box test generation tool for Java programs, which is able to generate executable test suites (as JUnit test suites) aiming to satisfy the branch coverage criterion. It uses symbolic execution to analyze control flow graphs of the program under test (PUT) and produces interesting symbolic inputs for each basic block of PUT. Kex then feeds these symbolic inputs to an original backward-search based algorithm called Reanimator, which generates executable JUnit test cases satisfying the symbolic inputs. This paper summarizes the results and experiences of Kex participation in the ninth edition of the Java unit testing tool competition at the International Workshop on Search-Based Software Testing (SBST) 2021.","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127690442","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
Preliminary Evaluation of Path-aware Crossover Operators for Search-Based Test Data Generation for Autonomous Driving 基于搜索的自动驾驶测试数据生成路径感知交叉算子的初步评价
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 2021-05-01 DOI: 10.1109/SBST52555.2021.00020
Seunghee Han, Jaeuk Kim, Geon Kim, Jaemin Cho, Jiin Kim, Shin Yoo
{"title":"Preliminary Evaluation of Path-aware Crossover Operators for Search-Based Test Data Generation for Autonomous Driving","authors":"Seunghee Han, Jaeuk Kim, Geon Kim, Jaemin Cho, Jiin Kim, Shin Yoo","doi":"10.1109/SBST52555.2021.00020","DOIUrl":"https://doi.org/10.1109/SBST52555.2021.00020","url":null,"abstract":"As autonomous driving gains attraction, testing of autonomous vehicles has become an important issue. However, testing in the real world is not only dangerous but also expensive. Consequently, a virtual test method has emerged as an alternative. Recently, a novel testing technique based on Procedural Content Generation (PCG) and Genetic Algorithm (GA), As-Fault, has been proposed to test the lane-keeping functionality of autonomous vehicles. This paper proposes new crossover operators for AsFault that can better preserve the coupling between genotype (representations of road segments) and phenotype (occurrences of interesting self-driving behaviour). We explain our design intentions and present a preliminary evaluation of the proposed operators using the Simulink autonomous driving simulator. We report promising early results: the proposed operators can lead not only to Out of Bound Episodes (OBEs) but also causes more vision errors in the simulation when compared to the original.","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133228611","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}
引用次数: 2
Data Driven Testing of Cyber Physical Systems 网络物理系统的数据驱动测试
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 2021-02-23 DOI: 10.1109/SBST52555.2021.00010
D. Humeniuk, G. Antoniol, Foutse Khomh
{"title":"Data Driven Testing of Cyber Physical Systems","authors":"D. Humeniuk, G. Antoniol, Foutse Khomh","doi":"10.1109/SBST52555.2021.00010","DOIUrl":"https://doi.org/10.1109/SBST52555.2021.00010","url":null,"abstract":"Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such systems is known to be a challenging task. Various quality assurance and testing strategies have been proposed. The most common approach for pre-deployment testing is to model the system and run simulations with models or software in the loop. In practice, most often, tests are run for a small number of simulations, which are selected based on the engineers' domain knowledge and experience. In this paper we propose an approach to automatically generate fault-revealing test cases for CPS. We have implemented our approach in Python, using standard frameworks and used it to generate scenarios violating temperature constraints for a smart thermostat implemented as a part of our IoT testbed. Data collected from an application managing a smart building have been used to learn models of the environment under ever changing conditions. The suggested approach allowed us to identify several pit-fails, scenarios (i.e., environment conditions and inputs), where the system behaves not as expected.","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126224999","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}
引用次数: 4
[Copyright notice] (版权)
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 1900-01-01 DOI: 10.1109/sbst52555.2021.00003
{"title":"[Copyright notice]","authors":"","doi":"10.1109/sbst52555.2021.00003","DOIUrl":"https://doi.org/10.1109/sbst52555.2021.00003","url":null,"abstract":"","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"33 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":"123965239","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
[Title page i] [标题页i]
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 1900-01-01 DOI: 10.1109/sbst52555.2021.00001
{"title":"[Title page i]","authors":"","doi":"10.1109/sbst52555.2021.00001","DOIUrl":"https://doi.org/10.1109/sbst52555.2021.00001","url":null,"abstract":"","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"17 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":"128822064","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
Message from the SBST 2021 Chairs 来自SBST 2021主席的信息
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 1900-01-01 DOI: 10.1109/sbst52555.2021.00005
{"title":"Message from the SBST 2021 Chairs","authors":"","doi":"10.1109/sbst52555.2021.00005","DOIUrl":"https://doi.org/10.1109/sbst52555.2021.00005","url":null,"abstract":"","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"4 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":"128492240","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
Workshop Organization: SBST 2021 研讨会组织:SBST 2021
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 1900-01-01 DOI: 10.1109/sbst52555.2021.00006
{"title":"Workshop Organization: SBST 2021","authors":"","doi":"10.1109/sbst52555.2021.00006","DOIUrl":"https://doi.org/10.1109/sbst52555.2021.00006","url":null,"abstract":"","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"51 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":"133363006","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
首页 上一页
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学术官方微信