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

2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)最新文献

筛选
英文 中文
An improved fuzzing approach based on adaptive random testing 基于自适应随机测试的改进模糊测试方法
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00045
Jinfu Chen, Jingyi Chen, Dong Guo, D. Towey
{"title":"An improved fuzzing approach based on adaptive random testing","authors":"Jinfu Chen, Jingyi Chen, Dong Guo, D. Towey","doi":"10.1109/ISSREW51248.2020.00045","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00045","url":null,"abstract":"Fuzzing is a highly automated testing technique. It has been widely used in software vulnerability mining. American fuzzy lop (AFL) is one of the most effective fuzzing tools, with low resource consumption and a variety of efficient fuzzy test strategies. However, because it uses a random testing (RT) algorithm when generating test cases, there is a problem of low quality and low test efficiency. In this paper, we propose an improved fuzzing testing approach based on adaptive random testing (ART) to enhance the effectiveness of AFL test case generation. We also introduce AFL-ART, a new fuzzing tool based on ART. According to the experimental results, AFLART can enhance AFL test case generation, and improve fuzzing testing efficiency.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124665179","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
Towards Anomaly Detectors that Learn Continuously 面向持续学习的异常检测器
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00073
Andrea Stocco, P. Tonella
{"title":"Towards Anomaly Detectors that Learn Continuously","authors":"Andrea Stocco, P. Tonella","doi":"10.1109/ISSREW51248.2020.00073","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00073","url":null,"abstract":"In this paper, we first discuss the challenges of adapting an already trained DNN-based anomaly detector with knowledge mined during the execution of the main system. Then, we present a framework for the continual learning of anomaly detectors, which records in-field behavioural data to determine what data are appropriate for adaptation. We evaluated our framework to improve an anomaly detector taken from the literature, in the context of misbehavior prediction for self-driving cars. Our results show that our solution can reduce the false positive rate by a large margin and adapt to nominal behaviour changes while maintaining the original anomaly detection capability.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127143217","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}
引用次数: 25
Unit Lemmas for Detecting Requirement and Specification Flaws 用于检测需求和规范缺陷的单元引理
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00063
A. Hocking, Jonathan C. Rowanhill, B. D. Vito
{"title":"Unit Lemmas for Detecting Requirement and Specification Flaws","authors":"A. Hocking, Jonathan C. Rowanhill, B. D. Vito","doi":"10.1109/ISSREW51248.2020.00063","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00063","url":null,"abstract":"Unit lemmas and a checklist of questions used to generate them can identify flaws in formal requirements and specifications early in the design process, reducing the overall cost and increasing confidence in the final product. We demonstrate how we can apply unit lemmas and the checklist to a tri-valued logic system.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115549683","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 Process to Support Safety Analysis for a System-of-Systems 支持系统的系统安全分析的过程
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00038
Stephan Baumgart, Joakim Fröberg, S. Punnekkat
{"title":"A Process to Support Safety Analysis for a System-of-Systems","authors":"Stephan Baumgart, Joakim Fröberg, S. Punnekkat","doi":"10.1109/ISSREW51248.2020.00038","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00038","url":null,"abstract":"Autonomous vehicles grow importance in many domains and depending on the domain and user needs, autonomous vehicles can be designed as stand-alone solutions as in the automotive domain or as part of a fleet with a specific purpose as in the earth moving machinery domain. Contemporary hazard analysis methods primarily focus on analyzing hazards for single systems. Such an analysis requires knowledge about typical usage of a product, and it is evaluated among others if an operator is able to handle a critical situation. Each hazard analysis method requires specific information as input in order to conduct the method. However, for system-of-systems it is not yet clear how to analyze hazards and provide the required information. In this paper we describe a use case from the earth moving machinery domain where autonomous machines collaborate as a system-of-systems to achieve the mission. We propose a hierarchical process to document a system-of-systems and propose the use of model-based development methods. In this work we discuss how to utilize the provided details in a hazard analysis. Our approach helps to design a complex system-of-systems and supports hazard analysis in a more effective and efficient manner.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129627310","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
ISSRE 2020 Doctoral Symposium Committees ISSRE 2020博士研讨会委员会
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/issrew51248.2020.00009
J. Offutt, George Mason
{"title":"ISSRE 2020 Doctoral Symposium Committees","authors":"J. Offutt, George Mason","doi":"10.1109/issrew51248.2020.00009","DOIUrl":"https://doi.org/10.1109/issrew51248.2020.00009","url":null,"abstract":"","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128915195","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 flexible simulation-based framework for model-based/data-driven dependability evaluation 一个灵活的基于仿真的框架，用于基于模型/数据驱动的可靠性评估
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00083
Carlo Abate, L. Campanile, S. Marrone
{"title":"A flexible simulation-based framework for model-based/data-driven dependability evaluation","authors":"Carlo Abate, L. Campanile, S. Marrone","doi":"10.1109/ISSREW51248.2020.00083","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00083","url":null,"abstract":"Modern predictive maintenance is the convergence of several technological trends: developing new techniques and algorithms can be very costly due to the need for a physical prototype. This research has the final aim to build a simulation-based software framework for modeling and analysing complex systems and for defining predictive maintenance algorithms. By the usage of simulation, quantitative evaluation of the dependability of such systems will be possible. The ERTMS/ETCS dependability case study is presented to prove the applicability of the software.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124601747","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
WoSAR 2020 Workshop Committees WoSAR 2020研讨会委员会
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/issrew51248.2020.00017
K. Trivedi, T. Dohi, Domenico Cotroneo, Javier Alonso, Junjun Zheng, X. Chang, H. Okamura, A. Platis, A. Puliafito, M. Scarpa, Nuno Silva, Kishor S. Trivedi, K. Vaidyanathan, K. Wolter, Jianwen Xiang, Liudong Xing
{"title":"WoSAR 2020 Workshop Committees","authors":"K. Trivedi, T. Dohi, Domenico Cotroneo, Javier Alonso, Junjun Zheng, X. Chang, H. Okamura, A. Platis, A. Puliafito, M. Scarpa, Nuno Silva, Kishor S. Trivedi, K. Vaidyanathan, K. Wolter, Jianwen Xiang, Liudong Xing","doi":"10.1109/issrew51248.2020.00017","DOIUrl":"https://doi.org/10.1109/issrew51248.2020.00017","url":null,"abstract":"Program Committee Javier Alonso, Amazon.com, USA Artur Andrzejak, Heidelberg University, Germany Alberto Avritzer, eSulabSolutions, USA Xiaolin Chang, Beijing Jiaotong University, China Domenico Cotroneo, Federico II University of Naples, Italy Tadashi Dohi, Hiroshima University, Japan Lance Fiondella, University of Massachusetts, USA Michael Grottke, GfK SE and Friedrich-Alexander-Universität Erlangen-Nürnberg,Germany Sandip Homchaudhuri, Qualcomm Technologies Inc (QTI), USA Kenji Kono, Keio University, Japan Vasilis Koutras, University of the Aegean, Greece Jinghui Li, Huawei, China Fumio Machida, University of Tsukuba, Japan Paulo Maciel, Federal University of Pernambuco, Brazil Rivalino Matias, Federal University of Uberlandia, Brazil Daniel Sadoc Menasche, Federal University of Rio de Janeiro, Brazil Veena Mendiratta, Bell Labs, Nokia, USA Manoj Nambiar, Infosys, India Roberto Natella, Federico II University of Naples, Italy Hiroyuki Okamura, Hiroshima University, Japan Roberto Pietrantuono, Federico II University of Naples, Italy","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126332821","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
Towards Automated Evidence Generation for Rapid and Continuous Software Certification 实现快速和持续的软件认证的自动证据生成
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00087
Joanna C. S. Santos, A. Shokri, Mehdi Mirakhorli
{"title":"Towards Automated Evidence Generation for Rapid and Continuous Software Certification","authors":"Joanna C. S. Santos, A. Shokri, Mehdi Mirakhorli","doi":"10.1109/ISSREW51248.2020.00087","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00087","url":null,"abstract":"Software system traceability plays a crucial role in the development and assurance of any dependable softwareintensive system. Federal agencies developing or regulating mission-centric or safety-critical software systems require traceability as a core component of the approval and certification process. Manually generating and managing traceability links is a tedious and error-prone task that requires great effort. The state-of-the-art automated traceability techniques rely on information retrieval and machine learning techniques. While these techniques create semantic links between artifacts, they are inadequate for analyzing the satisfiability of the underling traceability criteria. Therefore, in this paper, we describe SHERLOCK, an integrated environment to facilitate the rapid and continuous certification of software systems. At the core of SHERLOCK’S capabilities is the novel concept of Traceability Certification Models (TCM) and a Catalog of Certification Assurance Case Patterns (CACP) which guides the efforts of establishing the required trace links for fulfilling the criteria for a given certification. By relying on TCMs, CACPs as well as traceability and change impact analysis techniques, SHERLOCK can report the system’s traceability coverage in terms of missing traceability links required for certification, and deprecated/unnecessary links. We showcase SHERLOCK’S capabilities using a case study of certifying an Attitude and Orbit Control System (AOCS).","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132022042","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}
引用次数: 1
Towards Declarative Decentralised Application Management in the Fog 迈向迷雾中的声明式分散式应用程序管理
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00077
Antonio Brogi, Stefano Forti, Carlos Guerrero, I. Lera
{"title":"Towards Declarative Decentralised Application Management in the Fog","authors":"Antonio Brogi, Stefano Forti, Carlos Guerrero, I. Lera","doi":"10.1109/ISSREW51248.2020.00077","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00077","url":null,"abstract":"Managing next-gen applications over Fog computing infrastructures is challenging and calls for new methodologies and tools that enable flexible, scalable and application-specific management along the Cloud-IoT continuum. This article proposes a novel approach for realising a fully decentralised application management in opportunistic Fog computing infrastructures. We present a Prolog implementation of the approach and assess it over some motivating scenarios by experimenting with three different management policies via simulation.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116531667","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
Automated Tool for Revising Masking MC/DC Test Suite 自动修改屏蔽MC/DC测试套件的工具
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Pub Date : 2020-10-01 DOI: 10.1109/ISSREW51248.2020.00060
Zhenxiang Chen, H. Washizaki, Y. Fukazawa
{"title":"Automated Tool for Revising Masking MC/DC Test Suite","authors":"Zhenxiang Chen, H. Washizaki, Y. Fukazawa","doi":"10.1109/ISSREW51248.2020.00060","DOIUrl":"https://doi.org/10.1109/ISSREW51248.2020.00060","url":null,"abstract":"Modified Condition and Decision Coverage (MC/DC) is a software testing criterion to check code coverage. It can be divided into a unique-cause MC/DC and masking MC/DC, according to the level of acceptance in concepts. Although masking MC/DC is used in many applications, in our study we found undetectable cases utilizing Masking MC/DC test suites that could be detected using stricter unique-cause MC/DC. To ensure the strictness of MC/DC criterion, herein we propose an automated tool that revises the masking MC/DC test suite into a unique-cause MC/DC.","PeriodicalId":202247,"journal":{"name":"2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127081862","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学术官方微信