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

15th Innovations in Software Engineering Conference最新文献

筛选
英文 中文
Simulink to NuSMV Model Translation Challenges Simulink对NuSMV模型翻译的挑战
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511471
Ganesha
{"title":"Simulink to NuSMV Model Translation Challenges","authors":"Ganesha","doi":"10.1145/3511430.3511471","DOIUrl":"https://doi.org/10.1145/3511430.3511471","url":null,"abstract":"Safety critical systems must be formally verified to prove their correctness in order to avoid the loss of human life or a huge investment. Simulink is widely used in the industry to model safety-critical systems. NuSMV is the model checker which can be used to verify the models. To verify the designed models, developers need to be familiar with formal verification tools, languages, and syntax. The automatic translation of created models into the model checker’s input language aids in the reduction of development time and expense. Model checking performed during the design phase detects system flaws early in the software development process. When numerous model verification tools are available, it is beneficial to implement an intermediate representation of the translated model. This paper discusses challenges faced in translating Simulink-based models into input language of a model checker.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"284 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122965030","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
Using Ant Colony Optimization to Route a Team of UAVs to Fires Based on Known Fire Intensities 基于已知的火力强度，使用蚁群优化将一队无人机送到火场
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511462
Karthik Shaji
{"title":"Using Ant Colony Optimization to Route a Team of UAVs to Fires Based on Known Fire Intensities","authors":"Karthik Shaji","doi":"10.1145/3511430.3511462","DOIUrl":"https://doi.org/10.1145/3511430.3511462","url":null,"abstract":"1 ABSTRACT Increasing in severity due to Climate Change, wildfires will increasingly damage human populations. Autonomous solutions to fighting fires using Unmanned Aerial Vehicles (UAVs) show increasing promise in recent years. In this paper, we apply Ant Colony Optimization to allocate a team of UAVs with known fire extinguisher payloads to fires of known intensities. We evaluate the effectiveness of the algorithm on a dataset based on Washington Department of Natural Resources fire data from 2011-2020.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121555205","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
Evidence and perceptions on GUI test automation - An Exploratory Study GUI测试自动化的证据和看法——一项探索性研究
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511442
Chahna Polepalle, Ravi Shankar Kondoju, Deepika Badampudi
{"title":"Evidence and perceptions on GUI test automation - An Exploratory Study","authors":"Chahna Polepalle, Ravi Shankar Kondoju, Deepika Badampudi","doi":"10.1145/3511430.3511442","DOIUrl":"https://doi.org/10.1145/3511430.3511442","url":null,"abstract":"Context: Software testing requires substantial effort in maintaining GUI test scripts, leading to rework or waste. Therefore, it is important to identify the factors leading to waste in GUI-based automation testing. Objective: To identify testability requirements and factors associated with waste from literature and practice. Methods: We conducted a literature review to identify the state of knowledge and a two-phased interview with practitioners to capture their subjective opinions and gather their views on the state of knowledge. Results: We identified 16 testability requirements and 14 factors associated with waste in GUI test automation. We classified each of them into SUT-related, test-process-related, test-tool-related, human and organizational, environment and cross-cutting. Conclusions: Our results indicate that the generic testability requirements identified in the literature are also valid for GUI automation testing. Our study identifies new findings in addition to the existing literature.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123353507","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
Hybrid Search based Enhanced Named Entity Annotation Tool 基于混合搜索的增强命名实体注释工具
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511455
Krati Saxena, Sagar Sunkle, V. Kulkarni
{"title":"Hybrid Search based Enhanced Named Entity Annotation Tool","authors":"Krati Saxena, Sagar Sunkle, V. Kulkarni","doi":"10.1145/3511430.3511455","DOIUrl":"https://doi.org/10.1145/3511430.3511455","url":null,"abstract":"Identifying named entities is a crucial step in extracting information from text. Training NER models usually require annotated data. Human annotators spend a lot of time and effort annotating large datasets. In this paper, we introduce a novel hybrid search-based enhanced annotation tool. The annotation tool provides an easy-to-use GUI and several search modes to accelerate the annotation exercise. Users can look for similar text and terms and annotate the information in the results. We demonstrate the utility of our tool and evaluate our tool in comparison with other tools. We show that it provides faster annotation than typical annotators and comparable performance with state-of-the-art tools.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131936015","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
Measuring Developer Productivity and the New Future of Work 衡量开发人员的生产力和工作的新未来
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511914
Thomas Zimmermann
{"title":"Measuring Developer Productivity and the New Future of Work","authors":"Thomas Zimmermann","doi":"10.1145/3511430.3511914","DOIUrl":"https://doi.org/10.1145/3511430.3511914","url":null,"abstract":"Developer productivity is about more than an individual’s activity levels or the efficiency of the engineering systems, and it cannot be measured by a single metric or dimension. In this talk I will discuss how to use the SPACE framework to measuring developer productivity across multiple dimensions to better understand productivity in practice. I will also discuss common myths around developer productivity, and propose a collection of sample metrics to navigate around those pitfalls. Measuring developer productivity at Microsoft has allowed us to build new insights about what challenges the shift to remote work has introduced for software engineers, and how to overcome many of those challenges moving forward into a new future of work.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122755734","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
Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis 基于人的测试设计与自动化测试生成:文献综述和元分析
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511433
Ted Kurmaku, Eduard Paul Enoiu, Musa Kumrija
{"title":"Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis","authors":"Ted Kurmaku, Eduard Paul Enoiu, Musa Kumrija","doi":"10.1145/3511430.3511433","DOIUrl":"https://doi.org/10.1145/3511430.3511433","url":null,"abstract":"Automated test generation has been proposed to allow test cases to be created with less effort. While much progress has been made, it remains a challenge to automatically generate strong as well as small test suites that are also relevant to engineers. However, how these automated test generation approaches compare to or complement manually written test cases is still an open research question. In the light of the potential benefits of automated test generation in practice, its long history, and the apparent lack of summative evidence supporting its use, the present study aims to systematically review the current body of peer-reviewed publications comparing automated test generation and manual test design performed by humans. We conducted a literature review and meta-analysis to collect data comparing manually written tests with automatically generated ones regarding test efficiency and effectiveness. The overall results of the literature review suggest that automated test generation outperforms manual testing in terms of testing time, the number of tests created and the code coverage achieved. Nevertheless, most of the studies report that manually written tests detect more faults (both injected and naturally occurring ones), are more readable, and detect more specific bugs than those created using automated test generation. Our results suggest that just a few studies report specific statistics (e.g., effect sizes) that can be used in a proper meta-analysis, and therefore, results are inconclusive when comparing automated test generation and manual testing due to the lack of sufficient statistical data and power. Nevertheless, our meta-analysis results suggest that manual and automated test generation are clearly outperforming random testing for all metrics considered.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125868269","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
Role of WSDL Metrics in the Detection of Web Service Anti-Patterns WSDL度量在检测Web服务反模式中的作用
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511459
Sahithi Tummalapalli
{"title":"Role of WSDL Metrics in the Detection of Web Service Anti-Patterns","authors":"Sahithi Tummalapalli","doi":"10.1145/3511430.3511459","DOIUrl":"https://doi.org/10.1145/3511430.3511459","url":null,"abstract":"Many IT businesses now employ service-oriented architecture (SOA) to develop their systems. A service-based system (SBS) can be updated to accommodate new user needs, just like many other complicated structures. Continuously improving service-based systems to fulfill customer requests will lower software development quality, resulting in Anti-patterns in web services. Anti-patterns are frequently picked as a viable solution to a problem. However, they come with more drawbacks than advantages. Anti-patterns sabotage software systems’ long-term viability and perception.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123001829","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
Elicitation of Personal Data Categories for Implementing Data Protection: An Exploratory Study in an Educational Institution 在某教育机构实施资料保护的个人资料类别引出:一项探索性研究
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511443
Deepti Balaji Raykar, V. Sridhar
{"title":"Elicitation of Personal Data Categories for Implementing Data Protection: An Exploratory Study in an Educational Institution","authors":"Deepti Balaji Raykar, V. Sridhar","doi":"10.1145/3511430.3511443","DOIUrl":"https://doi.org/10.1145/3511430.3511443","url":null,"abstract":"Protecting the privacy of natural persons has become very important in today's data economy. Countries around the world are in the process of legislating data protection regulations to prevent breaches of personal data. However, the implementation of data protection is very much domain and context-specific. The data categories that are to be protected in the domain of implementation need to be discovered. We propose a human-centric approach for eliciting such data categories that cause privacy concerns to stakeholders in an educational institution. A study was conducted to understand the privacy concerns of the stakeholders, related to different data categories to be protected. A combination of surveys and in-depth interviews of the different stakeholders were used to gain insights into the privacy and data protection requirements that need to be incorporated into the associated information system design.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125298378","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
A Report on the First International Workshop on Program Equivalence (PEQ 2022) 首届项目等值国际研讨会(PEQ 2022)报告
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511466
S. Bandyopadhyay
{"title":"A Report on the First International Workshop on Program Equivalence (PEQ 2022)","authors":"S. Bandyopadhyay","doi":"10.1145/3511430.3511466","DOIUrl":"https://doi.org/10.1145/3511430.3511466","url":null,"abstract":"Program equivalence [1] is the problem of proving that two programs are equal under some definition of equivalence, e.g., input-output equivalence. The field draws researchers from formal verification, semantics and logics. Program equivalence is arguably one of the most interesting and at the same time important problems in formal verification. It is a cross-cutting topic that has attracted the interest of several research communities: denotational semantics, deductive software verification, bounded model checking, specification inference, High level synthesis, software evolution and regression testing, etc. The goal of the workshop is to stimulate an exchange of ideas to forge a community working on Program Equivalence.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127707646","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 approach to Open-Source Software License Management using Blockchain-based Smart-Contracts 一种使用基于区块链的智能合约的开源软件许可证管理方法
15th Innovations in Software Engineering Conference Pub Date : 2022-02-24 DOI: 10.1145/3511430.3511448
Abhay Kumar, Abhinav Gupta, L. Sanagavarapu, Y. R. Reddy
{"title":"An approach to Open-Source Software License Management using Blockchain-based Smart-Contracts","authors":"Abhay Kumar, Abhinav Gupta, L. Sanagavarapu, Y. R. Reddy","doi":"10.1145/3511430.3511448","DOIUrl":"https://doi.org/10.1145/3511430.3511448","url":null,"abstract":"Open source software is increasingly being used by various organizations. Open source licenses such as GPL, MIT, Apache, Mozilla, BSD, etc have varying terms and conditions for usage, modification, and distribution. Given the availability of source code for open source software, it is difficult to scrutinize adherence of licenses and more often than not it is left to the good faith of organizations and individuals. Violation of licensing terms knowingly or unknowingly can lead to copyright, ethical, compliance and security issues. In this paper, we propose a blockchain based approach in managing open source software licenses by enforcing certain practices to improve awareness and increase transparency, thus minimizing the possibility of violations. We present a solution design that relies on the use of 4 modules: InterPlanetary File System (IPFS), Smart contracts, Transaction manager (Meta-Mask) and a Permissioned Blockchain to enforce the conformance of licenses.","PeriodicalId":138760,"journal":{"name":"15th Innovations in Software Engineering Conference","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127960044","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学术文献互助群
群 号：604180095
Book学术官方微信