首页 > 最新文献

Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops最新文献

英文 中文
Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems 面向动态形成的信息物理系统网络体系结构的自动化安全分析
Jennifer Brings, Marian Daun
Dynamically forming networks of cyber-physical systems are becoming increasingly widespread in manufacturing, transportation, automotive, avionics and more domains. The emergence of future internet technology and the ambition for ever closer integration of different systems leads to highly collaborative cyber-physical systems. Such cyber-physical systems form networks to provide additional functions, behavior, and benefits the individual systems cannot provide on their own. As safety is a major concern of systems from these domains, there is a need to provide adequate support for safety analyses of these collaborative cyber-physical systems. This support must explicitly consider the dynamically formed networks of cyber-physical systems. This is a challenging task as the configurations of these cyber-physical system networks (i.e. the architecture of the super system the individual system joins) can differ enormously depending on the actual systems joining a cyber-physical system network. Furthermore, the configuration of the network heavily impacts the adaptations performed by the individual systems and thereby impacting the architecture not only of the system network but of all individual systems involved. As existing safety analysis techniques, however, are not meant for supporting such an array of potential system network configurations the individual system will have to be able to cope with at runtime, we propose automated support for safety analysis for these systems that considers the configuration of the system network. Initial evaluation results from the application to industrial case examples show that the proposed support can aid in the detection of safety defects.
动态形成的信息物理系统网络在制造业、交通运输、汽车、航空电子等领域越来越广泛。未来互联网技术的出现和不同系统更紧密集成的雄心导致了高度协作的网络物理系统。这种网络物理系统形成网络,以提供单个系统本身无法提供的额外功能、行为和利益。由于安全是这些领域系统的主要关注点,因此需要为这些协同网络物理系统的安全分析提供足够的支持。这种支持必须明确考虑网络物理系统的动态形成的网络。这是一项具有挑战性的任务,因为这些网络物理系统网络的配置(即单个系统加入的超级系统的架构)可能会因加入网络物理系统网络的实际系统而有很大差异。此外,网络的配置严重影响单个系统执行的适应性,从而不仅影响系统网络的体系结构,还影响所有涉及的单个系统的体系结构。然而,由于现有的安全分析技术并不意味着支持这样一组潜在的系统网络配置,单个系统必须能够在运行时处理,我们建议对考虑系统网络配置的这些系统的安全分析提供自动化支持。应用于工业实例的初步评估结果表明,所提出的支持可以帮助检测安全缺陷。
{"title":"Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems","authors":"Jennifer Brings, Marian Daun","doi":"10.1145/3387940.3391474","DOIUrl":"https://doi.org/10.1145/3387940.3391474","url":null,"abstract":"Dynamically forming networks of cyber-physical systems are becoming increasingly widespread in manufacturing, transportation, automotive, avionics and more domains. The emergence of future internet technology and the ambition for ever closer integration of different systems leads to highly collaborative cyber-physical systems. Such cyber-physical systems form networks to provide additional functions, behavior, and benefits the individual systems cannot provide on their own. As safety is a major concern of systems from these domains, there is a need to provide adequate support for safety analyses of these collaborative cyber-physical systems. This support must explicitly consider the dynamically formed networks of cyber-physical systems. This is a challenging task as the configurations of these cyber-physical system networks (i.e. the architecture of the super system the individual system joins) can differ enormously depending on the actual systems joining a cyber-physical system network. Furthermore, the configuration of the network heavily impacts the adaptations performed by the individual systems and thereby impacting the architecture not only of the system network but of all individual systems involved. As existing safety analysis techniques, however, are not meant for supporting such an array of potential system network configurations the individual system will have to be able to cope with at runtime, we propose automated support for safety analysis for these systems that considers the configuration of the system network. Initial evaluation results from the application to industrial case examples show that the proposed support can aid in the detection of safety defects.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127453680","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
Identifying Critical Components in Large Scale Cyber Physical Systems 识别大规模网络物理系统中的关键组件
Aida Akbarzadeh, S. Katsikas
The problem of identifying critical components in large scale networked Cyber-Physical Systems comes up as an underlying issue when attempting to enhance the efficiency, the safety and the security of such systems. Graph theory is one of the well-studied methods that are often used to model complex systems and to facilitate the analysis of network-based features of systems to identify critical components. However, recent studies mainly focus on identifying influential nodes in a system and neglect the importance of links. In this paper, we heed to the identification of both key links and nodes in a system, and we aggregate the result by leveraging the multi-variable synthetic evaluation and multiple-criteria decision-making M-TOPSIS method to rank the system components based on their importance.
在大规模网络信息物理系统中,识别关键组件的问题在试图提高此类系统的效率、安全性和安全性时成为一个潜在的问题。图论是一种研究得很好的方法,经常用于对复杂系统建模,并有助于分析基于网络的系统特征,以识别关键组件。然而,目前的研究主要集中在识别系统中有影响的节点,而忽略了环节的重要性。在本文中,我们需要识别系统中的关键环节和节点,并利用多变量综合评价和多准则决策M-TOPSIS方法对系统组件的重要性进行排序,从而对结果进行汇总。
{"title":"Identifying Critical Components in Large Scale Cyber Physical Systems","authors":"Aida Akbarzadeh, S. Katsikas","doi":"10.1145/3387940.3391473","DOIUrl":"https://doi.org/10.1145/3387940.3391473","url":null,"abstract":"The problem of identifying critical components in large scale networked Cyber-Physical Systems comes up as an underlying issue when attempting to enhance the efficiency, the safety and the security of such systems. Graph theory is one of the well-studied methods that are often used to model complex systems and to facilitate the analysis of network-based features of systems to identify critical components. However, recent studies mainly focus on identifying influential nodes in a system and neglect the importance of links. In this paper, we heed to the identification of both key links and nodes in a system, and we aggregate the result by leveraging the multi-variable synthetic evaluation and multiple-criteria decision-making M-TOPSIS method to rank the system components based on their importance.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127646030","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
Metamorphic Robustness Testing of Google Translate Google翻译的变形鲁棒性测试
Dickson T. S. Lee, Z. Zhou, T. H. Tse
Current research on the testing of machine translation software mainly focuses on functional correctness for valid, well-formed inputs. By contrast, robustness testing, which involves the ability of the software to handle erroneous or unanticipated inputs, is often overlooked. In this paper, we propose to address this important shortcoming. Using the metamorphic robustness testing approach, we compare the translations of original inputs with those of follow-up inputs having different categories of minor typos. Our empirical results reveal a lack of robustness in Google Translate, thereby opening a new research direction for the quality assurance of neural machine translators.
目前对机器翻译软件测试的研究主要集中在有效的、格式良好的输入的功能正确性上。相比之下,健壮性测试(涉及软件处理错误或意外输入的能力)经常被忽视。在本文中,我们建议解决这个重要的缺点。使用变质鲁棒性测试方法,我们比较了原始输入与具有不同类别轻微错别字的后续输入的翻译。我们的实证结果揭示了谷歌翻译缺乏鲁棒性,从而为神经机器翻译的质量保证开辟了新的研究方向。
{"title":"Metamorphic Robustness Testing of Google Translate","authors":"Dickson T. S. Lee, Z. Zhou, T. H. Tse","doi":"10.1145/3387940.3391484","DOIUrl":"https://doi.org/10.1145/3387940.3391484","url":null,"abstract":"Current research on the testing of machine translation software mainly focuses on functional correctness for valid, well-formed inputs. By contrast, robustness testing, which involves the ability of the software to handle erroneous or unanticipated inputs, is often overlooked. In this paper, we propose to address this important shortcoming. Using the metamorphic robustness testing approach, we compare the translations of original inputs with those of follow-up inputs having different categories of minor typos. Our empirical results reveal a lack of robustness in Google Translate, thereby opening a new research direction for the quality assurance of neural machine translators.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"341 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134044997","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
Impact of Similarity on Repairing Small Programs: A Case Study on QuixBugs Benchmark 相似度对小程序修复的影响——以QuixBugs基准为例
Moumita Asad, Kishan Kumar Ganguly, K. Sakib
Similarity analysis plays an important role in automated program repair by finding the correct solution earlier. However, the effectiveness of similarity is mostly validated using common benchmark Defects4J which consists of 6 large projects. To mitigate the threat of generalizability, this study examines the performance of similarity in repairing small programs. For this purpose, existing syntactic and semantic similarity based approaches, as well as a new technique of combining both similarities, are used. These approaches are evaluated using QuixBugs, a dataset of diverse type bugs from 40 small programs. These techniques fix bugs faster by validating fewer patches than random patch selection based approach. Thus, it proves the effectiveness of similarity in repairing small programs.
相似度分析在程序自动修复中起着重要的作用,可以更早地找到正确的解决方案。然而,相似性的有效性主要是使用由6个大型项目组成的公共基准缺陷4j来验证的。为了减轻泛化的威胁,本研究考察了相似性在修复小程序中的表现。为此,使用了现有的基于句法和语义相似度的方法,以及结合这两种相似度的新技术。这些方法使用QuixBugs进行评估,QuixBugs是一个来自40个小程序的不同类型错误的数据集。与基于随机补丁选择的方法相比,这些技术通过验证更少的补丁来更快地修复错误。从而证明了相似性修复小程序的有效性。
{"title":"Impact of Similarity on Repairing Small Programs: A Case Study on QuixBugs Benchmark","authors":"Moumita Asad, Kishan Kumar Ganguly, K. Sakib","doi":"10.1145/3387940.3392182","DOIUrl":"https://doi.org/10.1145/3387940.3392182","url":null,"abstract":"Similarity analysis plays an important role in automated program repair by finding the correct solution earlier. However, the effectiveness of similarity is mostly validated using common benchmark Defects4J which consists of 6 large projects. To mitigate the threat of generalizability, this study examines the performance of similarity in repairing small programs. For this purpose, existing syntactic and semantic similarity based approaches, as well as a new technique of combining both similarities, are used. These approaches are evaluated using QuixBugs, a dataset of diverse type bugs from 40 small programs. These techniques fix bugs faster by validating fewer patches than random patch selection based approach. Thus, it proves the effectiveness of similarity in repairing small programs.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129403353","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}
引用次数: 3
Understanding Implicit User Feedback from Multisensorial and Physiological Data: A case study 从多感官和生理数据中理解隐含用户反馈:一个案例研究
Franci Suni Lopez, Nelly Condori-Fernández, Alejandro Catalá
Ensuring the quality of user experience is very important for increasing the acceptance likelihood of software applications, which can be affected by several contextual factors that continuously change over time (e.g., emotional state of end-user). Due to these changes in the context, software continually needs to adapt for delivering software services that can satisfy user needs. However, to achieve this adaptation, it is important to gather and understand the user feedback. In this paper, we mainly investigate whether physiological data can be considered and used as a form of implicit user feedback. To this end, we conducted a case study involving a tourist traveling abroad, who used a wearable device for monitoring his physiological data, and a smartphone with a mobile app for reminding him to take his medication on time during four days. Through the case study, we were able to identify some factors and activities as emotional triggers, which were used for understanding the user context. Our results highlight the importance of having a context analyzer, which can help the system to determine whether the detected stress could be considered as actionable and consequently as implicit user feedback.
确保用户体验的质量对于增加软件应用程序的接受可能性非常重要,这可能会受到几个上下文因素的影响,这些因素会随着时间的推移而不断变化(例如,最终用户的情绪状态)。由于环境中的这些变化,软件不断需要适应交付能够满足用户需求的软件服务。然而,为了实现这种适应,收集和理解用户反馈是很重要的。在本文中,我们主要研究生理数据是否可以作为一种隐式用户反馈的形式来考虑和使用。为此,我们进行了一个案例研究,涉及一名出国旅游的游客,他使用可穿戴设备监测他的生理数据,并使用带有移动应用程序的智能手机提醒他在四天内按时服药。通过案例研究,我们能够确定一些因素和活动作为情感触发器,用于理解用户环境。我们的研究结果强调了拥有上下文分析器的重要性,它可以帮助系统确定检测到的压力是否可以被认为是可操作的,从而作为隐含的用户反馈。
{"title":"Understanding Implicit User Feedback from Multisensorial and Physiological Data: A case study","authors":"Franci Suni Lopez, Nelly Condori-Fernández, Alejandro Catalá","doi":"10.1145/3387940.3391466","DOIUrl":"https://doi.org/10.1145/3387940.3391466","url":null,"abstract":"Ensuring the quality of user experience is very important for increasing the acceptance likelihood of software applications, which can be affected by several contextual factors that continuously change over time (e.g., emotional state of end-user). Due to these changes in the context, software continually needs to adapt for delivering software services that can satisfy user needs. However, to achieve this adaptation, it is important to gather and understand the user feedback. In this paper, we mainly investigate whether physiological data can be considered and used as a form of implicit user feedback. To this end, we conducted a case study involving a tourist traveling abroad, who used a wearable device for monitoring his physiological data, and a smartphone with a mobile app for reminding him to take his medication on time during four days. Through the case study, we were able to identify some factors and activities as emotional triggers, which were used for understanding the user context. Our results highlight the importance of having a context analyzer, which can help the system to determine whether the detected stress could be considered as actionable and consequently as implicit user feedback.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128658475","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
Digital Twin for Cybersecurity Incident Prediction: A Multivocal Literature Review 网络安全事件预测的数字孪生:多声音文献综述
Abhishek Pokhrel, Vikash Katta, Ricardo Colomo Palacios
The advancements in the field of internet of things, artificial intelligence, machine learning, and data analytics has laid the path to the evolution of digital twin technology. The digital twin is a high-fidelity digital model of a physical system or asset that can be used e.g. to optimize operations and predict faults of the physical system. To understand different use cases of digital twin and its potential for cybersecurity incident prediction, we have performed a Systematic Literature Review (SLR). In this paper, we summarize the definition of digital twin and state-of-the-art on the development of digital twin including reported work on the usability of a digital twin for cybersecurity. Existing tools and technologies for developing digital twin is discussed.
物联网、人工智能、机器学习、数据分析等领域的进步为数字孪生技术的发展奠定了基础。数字孪生是物理系统或资产的高保真数字模型,可用于优化操作和预测物理系统的故障。为了了解数字孪生的不同用例及其在网络安全事件预测方面的潜力,我们进行了系统文献综述(SLR)。在本文中,我们总结了数字孪生的定义和数字孪生发展的最新进展,包括关于网络安全数字孪生可用性的报告工作。讨论了开发数字孪生的现有工具和技术。
{"title":"Digital Twin for Cybersecurity Incident Prediction: A Multivocal Literature Review","authors":"Abhishek Pokhrel, Vikash Katta, Ricardo Colomo Palacios","doi":"10.1145/3387940.3392199","DOIUrl":"https://doi.org/10.1145/3387940.3392199","url":null,"abstract":"The advancements in the field of internet of things, artificial intelligence, machine learning, and data analytics has laid the path to the evolution of digital twin technology. The digital twin is a high-fidelity digital model of a physical system or asset that can be used e.g. to optimize operations and predict faults of the physical system. To understand different use cases of digital twin and its potential for cybersecurity incident prediction, we have performed a Systematic Literature Review (SLR). In this paper, we summarize the definition of digital twin and state-of-the-art on the development of digital twin including reported work on the usability of a digital twin for cybersecurity. Existing tools and technologies for developing digital twin is discussed.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127670670","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}
引用次数: 16
Do You Just Discuss or Do You Solve?: Meeting Analysis in a Software Project at Early Stages 你只是讨论还是解决?:软件项目早期阶段的会议分析
J. Klünder, Nils Prenner, Ann-Kathrin Windmann, Marek Stess, Michael Nolting, Fabian Kortum, Lisa Handke, K. Schneider, S. Kauffeld
Software development is a very cooperative and communicative task. In most software projects, meetings are a very important medium to share information. However, these meetings are often not as effective as expected. One big issue hindering productive and satisfying meetings is inappropriate behavior such as complaining. In particular, talking about problems without at least trying to solve them decreases motivation and mood of the team. Interaction analyses in meetings allow the assessment of appropriate and inappropriate behavior influencing the quality of a meeting. Derived from an established interaction analysis coding scheme in psychology, we present act4teams-short which allows real-time coding of meetings in software projects. We apply act4teams-short in an industrial case study at Volkswagen Commercial Vehicles, a large German company in the automotive domain. We analyze ten team-internal meetings at early project stages. Our results reveal difficulties due to missing project structure and the overall project goal. Furthermore, the team has an intrinsic interest in identifying problems and solving them, without any extrinsic input being required.
软件开发是一项非常需要协作和沟通的任务。在大多数软件项目中,会议是共享信息的非常重要的媒介。然而,这些会议往往没有预期的那么有效。阻碍高效和令人满意的会议的一大问题是不恰当的行为,比如抱怨。特别是,谈论问题而不尝试解决问题会降低团队的积极性和情绪。会议中的相互作用分析允许评估影响会议质量的适当和不适当的行为。基于心理学中已建立的交互分析编码方案,我们提出act4teams-short,它允许在软件项目中对会议进行实时编码。我们将act4teams-short应用于大众商用车(Volkswagen Commercial Vehicles)的一个工业案例研究中,这是一家汽车领域的大型德国公司。我们分析了在项目早期阶段的10个团队内部会议。我们的结果揭示了由于缺少项目结构和总体项目目标而造成的困难。此外,团队对识别问题和解决问题有内在的兴趣,而不需要任何外部输入。
{"title":"Do You Just Discuss or Do You Solve?: Meeting Analysis in a Software Project at Early Stages","authors":"J. Klünder, Nils Prenner, Ann-Kathrin Windmann, Marek Stess, Michael Nolting, Fabian Kortum, Lisa Handke, K. Schneider, S. Kauffeld","doi":"10.1145/3387940.3391468","DOIUrl":"https://doi.org/10.1145/3387940.3391468","url":null,"abstract":"Software development is a very cooperative and communicative task. In most software projects, meetings are a very important medium to share information. However, these meetings are often not as effective as expected. One big issue hindering productive and satisfying meetings is inappropriate behavior such as complaining. In particular, talking about problems without at least trying to solve them decreases motivation and mood of the team. Interaction analyses in meetings allow the assessment of appropriate and inappropriate behavior influencing the quality of a meeting. Derived from an established interaction analysis coding scheme in psychology, we present act4teams-short which allows real-time coding of meetings in software projects. We apply act4teams-short in an industrial case study at Volkswagen Commercial Vehicles, a large German company in the automotive domain. We analyze ten team-internal meetings at early project stages. Our results reveal difficulties due to missing project structure and the overall project goal. Furthermore, the team has an intrinsic interest in identifying problems and solving them, without any extrinsic input being required.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124602116","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
Dialogue Act Classification for Virtual Agents for Software Engineers during Debugging 软件工程师调试过程中的虚拟代理对话行为分类
Andrew Wood, Zachary Eberhart, Collin McMillan
A "dialogue act" is a written or spoken action during a conversation. Dialogue acts are usually only a few words long, and are often categorized by researchers into a relatively small set of dialogue act types, such as eliciting information, expressing an opinion, or making a greeting. Research interest into automatic classification of dialogue acts has grown recently due to the proliferation of Virtual Agents (VA) e.g. Siri, Cortana, Alexa. But unfortunately, the gains made into VA development in one domain are generally not applicable to other domains, since the composition of dialogue acts differs in different conversations. In this paper, we target the problem of dialogue act classification for a VA for software engineers repairing bugs. A problem in the SE domain is that very little sample data exists - the only public dataset is a recently-released Wizard of Oz study with 30 conversations. Therefore, we present a transfer-learning technique to learn on a much larger dataset for general business conversations, and apply the knowledge to the SE dataset. In an experiment, we observe between 8% and 20% improvement over two key baselines.
“对话行为”是在对话过程中的书面或口头行为。对话行为通常只有几个词长,通常被研究人员分成相对较小的对话行为类型,如引出信息、表达意见或打招呼。最近,由于虚拟代理(VA)如Siri、Cortana、Alexa的激增,对对话行为自动分类的研究兴趣有所增长。但不幸的是,在一个领域中为VA开发所取得的成果通常不适用于其他领域,因为在不同的对话中,对话行为的组成是不同的。本文主要研究面向软件工程师修复bug的人机对话行为分类问题。SE领域的一个问题是样本数据非常少——唯一的公共数据集是最近发布的《绿野仙踪》研究报告,其中包含30个对话。因此,我们提出了一种迁移学习技术,用于在更大的数据集上学习一般商业对话,并将知识应用于SE数据集。在一个实验中,我们观察到在两个关键基线上有8%到20%的改进。
{"title":"Dialogue Act Classification for Virtual Agents for Software Engineers during Debugging","authors":"Andrew Wood, Zachary Eberhart, Collin McMillan","doi":"10.1145/3387940.3391487","DOIUrl":"https://doi.org/10.1145/3387940.3391487","url":null,"abstract":"A \"dialogue act\" is a written or spoken action during a conversation. Dialogue acts are usually only a few words long, and are often categorized by researchers into a relatively small set of dialogue act types, such as eliciting information, expressing an opinion, or making a greeting. Research interest into automatic classification of dialogue acts has grown recently due to the proliferation of Virtual Agents (VA) e.g. Siri, Cortana, Alexa. But unfortunately, the gains made into VA development in one domain are generally not applicable to other domains, since the composition of dialogue acts differs in different conversations. In this paper, we target the problem of dialogue act classification for a VA for software engineers repairing bugs. A problem in the SE domain is that very little sample data exists - the only public dataset is a recently-released Wizard of Oz study with 30 conversations. Therefore, we present a transfer-learning technique to learn on a much larger dataset for general business conversations, and apply the knowledge to the SE dataset. In an experiment, we observe between 8% and 20% improvement over two key baselines.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117080965","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
Mining Hypernyms Semantic Relations from Stack Overflow 从堆栈溢出挖掘中词语义关系
L. Tóth, Balázs Nagy, T. Gyimóthy, László Vidács
Communication between a software development team and business partners is often a challenging task due to the different context of terms used in the information exchange. The various contexts in which the concepts are defined or used create slightly different semantic fields that can evolve into information and communication silos. Due to the silo effect, the necessary information is often inadequately forwarded to developers resulting in poorly specified software requirements or misinterpreted user feedback. Communication difficulties can be reduced by introducing a mapping between the semantic fields of the parties involved in the communication based on the commonly used terminologies. Our research aims to obtain a suitable semantic database in the form of a semantic network built from the Stack Overflow corpus, which can be considered to encompass the common tacit knowledge of the software development community. Terminologies used in the business world can be assigned to our semantic network, so software developers do not miss features that are not specific to their world but relevant to their clients. We present an initial experiment of mining semantic network from Stack Overflow and provide insights of the newly captured relations compared to WordNet.
由于信息交换中使用的术语上下文不同,软件开发团队和业务合作伙伴之间的通信通常是一项具有挑战性的任务。定义或使用概念的各种上下文创建了略有不同的语义域,这些语义域可以演变成信息和通信筒仓。由于筒仓效应,必要的信息往往没有充分地转发给开发人员,导致不明确的软件需求或误解的用户反馈。通过在基于常用术语的通信中涉及的各方的语义字段之间引入映射,可以减少通信困难。我们的研究旨在以Stack Overflow语料库构建的语义网络的形式获得一个合适的语义数据库,该语义网络可以被认为包含了软件开发社区的共同隐性知识。商业世界中使用的术语可以分配给我们的语义网络,因此软件开发人员不会错过与他们的世界无关但与他们的客户相关的特性。我们提出了一个从Stack Overflow中挖掘语义网络的初步实验,并提供了与WordNet相比新捕获的关系的见解。
{"title":"Mining Hypernyms Semantic Relations from Stack Overflow","authors":"L. Tóth, Balázs Nagy, T. Gyimóthy, László Vidács","doi":"10.1145/3387940.3392160","DOIUrl":"https://doi.org/10.1145/3387940.3392160","url":null,"abstract":"Communication between a software development team and business partners is often a challenging task due to the different context of terms used in the information exchange. The various contexts in which the concepts are defined or used create slightly different semantic fields that can evolve into information and communication silos. Due to the silo effect, the necessary information is often inadequately forwarded to developers resulting in poorly specified software requirements or misinterpreted user feedback. Communication difficulties can be reduced by introducing a mapping between the semantic fields of the parties involved in the communication based on the commonly used terminologies. Our research aims to obtain a suitable semantic database in the form of a semantic network built from the Stack Overflow corpus, which can be considered to encompass the common tacit knowledge of the software development community. Terminologies used in the business world can be assigned to our semantic network, so software developers do not miss features that are not specific to their world but relevant to their clients. We present an initial experiment of mining semantic network from Stack Overflow and provide insights of the newly captured relations compared to WordNet.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"220 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122521792","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
Interactive Patch Generation and Suggestion 交互式补丁生成和建议
Xiang Gao, Abhik Roychoudhury
Automated program repair (APR) is an emerging technique that can automatically generate patches for fixing bugs or vulnerabilities. To ensure correctness, the auto-generated patches are usually sent to developers for verification before applied in the program. To review patches, developers must figure out the root cause of a bug and understand the semantic impact of the patch, which is not straightforward and easy even for expert programmers. In this position paper, we envision an interactive patch suggestion approach that avoids such complex reasoning by instead enabling developers to review patches with a few clicks. We first automatically translate patch semantics into a set of what and how questions. Basically, the what questions formulate the expected program behaviors, while the how questions represent how to modify the program to realize the expected behaviors. We could leverage the existing APR technique to generate those questions and corresponding answers. Then, to evaluate the correctness of patches, developers just need to ask questions and click the corresponding answers.
自动程序修复(APR)是一种新兴的技术,它可以自动生成修复错误或漏洞的补丁。为了确保正确性,自动生成的补丁通常在应用于程序之前发送给开发人员进行验证。为了审查补丁,开发人员必须找出bug的根本原因,并了解补丁的语义影响,即使对于专业程序员来说,这也不是直截了当和容易的。在这篇意见书中,我们设想了一种交互式补丁建议方法,通过使开发人员只需点击几下即可查看补丁,从而避免了这种复杂的推理。我们首先自动将补丁语义转换为一组“是什么”和“如何”的问题。基本上,“什么”问题表述了预期的程序行为,而“如何”问题表示如何修改程序以实现预期的行为。我们可以利用现有的APR技术来生成这些问题和相应的答案。然后,为了评估补丁的正确性,开发人员只需要提出问题并点击相应的答案。
{"title":"Interactive Patch Generation and Suggestion","authors":"Xiang Gao, Abhik Roychoudhury","doi":"10.1145/3387940.3392179","DOIUrl":"https://doi.org/10.1145/3387940.3392179","url":null,"abstract":"Automated program repair (APR) is an emerging technique that can automatically generate patches for fixing bugs or vulnerabilities. To ensure correctness, the auto-generated patches are usually sent to developers for verification before applied in the program. To review patches, developers must figure out the root cause of a bug and understand the semantic impact of the patch, which is not straightforward and easy even for expert programmers. In this position paper, we envision an interactive patch suggestion approach that avoids such complex reasoning by instead enabling developers to review patches with a few clicks. We first automatically translate patch semantics into a set of what and how questions. Basically, the what questions formulate the expected program behaviors, while the how questions represent how to modify the program to realize the expected behaviors. We could leverage the existing APR technique to generate those questions and corresponding answers. Then, to evaluate the correctness of patches, developers just need to ask questions and click the corresponding answers.","PeriodicalId":309659,"journal":{"name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123537470","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
期刊
Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1