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

2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)最新文献

筛选
英文 中文
Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems 文章的复制包:对象-关系映射系统的面向数据的差分测试
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00085
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, D. Spinellis
{"title":"Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems","authors":"Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, D. Spinellis","doi":"10.1109/ICSE-Companion52605.2021.00085","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00085","url":null,"abstract":"The ICSE 2021 paper titled \"Data-Oriented Differential Testing Object-Relational Mapping Systems\" comes with areplication package, which has been awarded with the \"Available\" badge by the Artifact Evaluation Committee. The artifact contains scripts, and step-by-step instructions to (1) get yourself familiar with the corresponding bug-finding tool(namely CYNTHIA ), (2) reproduce the results of the main paper, and (3) re-run the bugs discovered by CYNTHIA. The artifact is archived on Zenodo at https://zenodo.org/record/4455486. It is also publicly available on Github at https://github.com/theosotr/cynthia-eval under the GNU General Public License v3.0. The artifact is packaged as a Docker image. This image can be manually built from source, or it can be fetched from Dockerhub. The execution of scripts is solely done inside Docker containers. Overall, our replication package has the following requirements: (1) a Unix-like operating system (tested on Ubuntu), (2) a Docker installation, and (3) at least 6GB of available disk space.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114101861","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
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software" “GenTree:使用决策树学习可配置软件的交互”的工件
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00076
KimHao Nguyen, Thanhvu Nguyen
{"title":"Artifact for \"GenTree: Using Decision Trees to Learn Interactions for Configurable Software\"","authors":"KimHao Nguyen, Thanhvu Nguyen","doi":"10.1109/ICSE-Companion52605.2021.00076","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00076","url":null,"abstract":"This document describes the artifact package accompanying the ICSE'21 paper \"GenTree: Using Decision Trees to Learn Interactions for Configurable Software\". The artifact includes GenTree source code, pre-built binaries, benchmark program specifications, and scripts to replicate the data presented in the paper. Furthermore, GenTree is applicable to new programs written in supported languages (C, C++, Python, Perl, Ocaml), or can be extended to support new languages easily. GenTree implementation is highly modular and optimized, hence, it can also be used as a framework for developing and testing new interaction inference algorithms. We hope the artifact will be useful for researchers who are interested in interaction learning, especially iterative and data-driven approaches.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126923230","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
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact) EvoSpex:学习后置条件(工件)的进化算法
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00080
F. Molina, Pablo Ponzio, Nazareno Aguirre, M. Frias
{"title":"EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)","authors":"F. Molina, Pablo Ponzio, Nazareno Aguirre, M. Frias","doi":"10.1109/ICSE-Companion52605.2021.00080","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00080","url":null,"abstract":"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately, software many times lacks such specifications, and thus providing tools and techniques that can assist developers in the construction of software specifications are relevant in software engineering. As an aid in this context, we present EvoSpex, a tool that given a Java method, automatically produces a specification of the method's current behavior, in the form of postcondition assertions. EvoSpex is based on generating software runs from the implementation (valid runs), making modifications to the runs to build divergent behaviors (invalid runs), and executing a genetic algorithm that tries to evolve a specification to satisfy the valid runs, and leave out the invalid ones. Our tool supports a rich JML-like assertion language, that can capture complex specifications, including sophisticated object structural properties.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132721665","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
An Open Dataset for Onboarding new Contributors: Empirical Study of OpenStack Ecosystem 开放数据集:OpenStack生态系统的实证研究
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00111
A. Foundjem, Ellis E. Eghan, Bram Adams
{"title":"An Open Dataset for Onboarding new Contributors: Empirical Study of OpenStack Ecosystem","authors":"A. Foundjem, Ellis E. Eghan, Bram Adams","doi":"10.1109/ICSE-Companion52605.2021.00111","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00111","url":null,"abstract":"This dataset provides the qualitative and quantitative data of our mixed-method empirical study of onboarding in the OpenStack software ecosystem (SECO). First, we carried out a SECO-level participant observation study of 72 new contributors during a 2-day OpenStack onboarding (in-person) event yielding a rich set of qualitative data; 14 files amount to 60% of the entire dataset originating from a participant observation study. Second, we quantitatively validated the extent to which SECOs achieve benefits such as diversity, productivity, and quality by mining 1281 contributors' code changes, reviews, and issues with(out) OpenStack onboarding experience. Our quantitative dataset includes nine files, which is about 40% of the entire dataset, and we obtained these files by mining new contributors' codebase activities from four OpenStack repositories. Besides, we make available the scripts that e used to extract and analyze this dataset. By providing this data, we are claiming the \"Available Badge,\" and our data are online on a public archived repository at Zenodo: DOI: 10.5281/zenodo.4457683","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122895886","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
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models' FLACK的伪影:反例导向的合金模型故障定位
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00077
Guolong Zheng, Thanhvu Nguyen, Simón Gutiérrez Brida, Germán Regis, M. Frias, Nazareno Aguirre, H. Bagheri
{"title":"Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'","authors":"Guolong Zheng, Thanhvu Nguyen, Simón Gutiérrez Brida, Germán Regis, M. Frias, Nazareno Aguirre, H. Bagheri","doi":"10.1109/ICSE-Companion52605.2021.00077","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00077","url":null,"abstract":"This document provides instructions to setup and executes FLACK. FLACK is an automatic fault localization tool for Alloy. Given an Alloy model with violated assertions, FLACK automatically outputs a list of expressions ranking based on their suspiciousness to the error. The link to the replication package is https://github.com/guolong-zheng/flack-ae. The replication package contains the source code of FLACK and benchmarks to reproduce all the evaluation results in the ICSE 2021 submission.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128157713","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
Survey Instruments for "How Was Your Weekend?" Software Development Teams Working from Home During COVID-19 “周末过得怎么样?”的调查工具COVID-19期间在家工作的软件开发团队
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00101
Courtney Miller, Paige Rodeghero, M. Storey, Denae Ford, Thomas Zimmermann
{"title":"Survey Instruments for \"How Was Your Weekend?\" Software Development Teams Working from Home During COVID-19","authors":"Courtney Miller, Paige Rodeghero, M. Storey, Denae Ford, Thomas Zimmermann","doi":"10.1109/ICSE-Companion52605.2021.00101","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00101","url":null,"abstract":"This document describes the survey instruments from our paper \"How Was Your Weekend?\" Software Development Teams Working From Home During COVID-19 as well as how to access them.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132599888","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
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs 合金规格修理的有界穷举搜索伪影
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00093
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, H. Bagheri, Thanhvu Nguyen, Nazareno Aguirre, M. Frias
{"title":"Artifact of Bounded Exhaustive Search of Alloy Specification Repairs","authors":"Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, H. Bagheri, Thanhvu Nguyen, Nazareno Aguirre, M. Frias","doi":"10.1109/ICSE-Companion52605.2021.00093","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00093","url":null,"abstract":"BeAFix is a tool and technique for automated repair of faulty models written in Alloy, a declarative formal specification language based on first-order relational logic. BeAFix takes a faulty Alloy model, i.e., an Alloy model with at least one analysis command whose result is contrary to the developer's expectation, and a set of suspicious specification locations, and explores the space of fix candidates consisting of all alternative expressions for the indicated locations, that can be constructed by bounded application of a family of mutation operations. BeAFix can work with any kind of specification oracle, from Alloy test cases to standard predicates and assertions typically found in Alloy specifications, and is backed with a number of sound pruning strategies, for efficient exploration of fix candidate search spaces.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127111557","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
R-MOZART: A Reconfiguration Tool for WebThings Applications R-MOZART: WebThings应用程序的重新配置工具
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00031
F. Durán, A. Krishna, M. L. Pallec, Radu Mateescu, Gwen Salaün
{"title":"R-MOZART: A Reconfiguration Tool for WebThings Applications","authors":"F. Durán, A. Krishna, M. L. Pallec, Radu Mateescu, Gwen Salaün","doi":"10.1109/ICSE-Companion52605.2021.00031","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00031","url":null,"abstract":"The Internet of Things (IoT) is a network of physical devices and software entities that interact together for fulfilling an overall objective and thus providing added-value services. Designing such applications by selecting a set of candidate objects and defining how they interact with one another is a difficult and error-prone task. Moreover, IoT applications are not monolithic applications built once and for all. In contrast, they are constantly modified due to removal, replacement, or addition of new objects during the application's lifetime. In this paper, we present a tool built on top of the WebThings platform, which supports users when they want to dynamically change a running WebThings application. To do so, R-MOZART provides three components for (i) designing the new application using a user-friendly UI, (ii) verifying that this new application respects some consistency properties with respect to the current application, and (iii) deploying this new application in an automated manner. This tool was applied on several smart home applications for evaluation purposes. Video URL: https://youtu.be/bG4oiQUrWSQ","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127229036","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
IoT Development In The Wild: Bug Taxonomy and Developer Challenges 物联网开发:漏洞分类和开发者挑战
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00103
Amir Makhshari, A. Mesbah
{"title":"IoT Development In The Wild: Bug Taxonomy and Developer Challenges","authors":"Amir Makhshari, A. Mesbah","doi":"10.1109/ICSE-Companion52605.2021.00103","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00103","url":null,"abstract":"IoT systems are rapidly adopted in various domains, from embedded systems to smart homes. Despite their growing adoption and popularity, there has been no thorough study to understand IoT development challenges from the practitioners’ point of view. We provide the first systematic study of bugs and challenges that IoT developers face in practice, through a large-scale empirical investigation. We highlight frequent bug categories and their root causes, correlations between them, and common pitfalls and challenges that IoT developers face. We recommend future directions for IoT areas that require research and development attention.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125751601","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
UI-Based Flaky Tests Dataset 基于ui的片状测试数据集
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) Pub Date : 2021-05-01 DOI: 10.1109/ICSE-Companion52605.2021.00108
Alan Romano, Zihe Song, Sampath Grandhi, Wei Yang, Weihang Wang
{"title":"UI-Based Flaky Tests Dataset","authors":"Alan Romano, Zihe Song, Sampath Grandhi, Wei Yang, Weihang Wang","doi":"10.1109/ICSE-Companion52605.2021.00108","DOIUrl":"https://doi.org/10.1109/ICSE-Companion52605.2021.00108","url":null,"abstract":"This artifact submission contains the dataset used in the paper accepted in the ICSE 2021 Technical Track, \"An Empirical Analysis of UI-based Flaky Tests\". The dataset contains 235 samples of flaky UI tests composed of 152 samples from web projects and 83 samples from mobile projects.","PeriodicalId":136929,"journal":{"name":"2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128002768","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
首页 上一页 下一页 尾页
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学术官方微信