software bots are becoming increasingly popular in softwareengineering (SE). In this tutorial, we define what a bot is and present several examples. We also discuss the many benefits bots provide to the SE community,...
详细信息
ISBN:
(纸本)9781450393034
software bots are becoming increasingly popular in softwareengineering (SE). In this tutorial, we define what a bot is and present several examples. We also discuss the many benefits bots provide to the SE community, including helping in development tasks (such as pull request review and integration) and onboarding newcomers to a project. Finally, we discuss the challenges related to interacting with and developing software bots.
Reactive synthesis, with its roots in the work of A. Church, presents a transformative approach for the formal methods community. It seeks to translate system behaviors expressed in Linear-Time Temporal Logic (LTL) in...
详细信息
ISBN:
(纸本)9798400705021
Reactive synthesis, with its roots in the work of A. Church, presents a transformative approach for the formal methods community. It seeks to translate system behaviors expressed in Linear-Time Temporal Logic (LTL) into correct-by-construction models using synthesis tools. However, this approach faces substantial challenges. Among these challenges is the high computational complexity of LTL synthesis, which constrains its application to large-scale systems. Additionally, unrealizable specifications present a significant obstacle as they act as barriers, impeding the synthesis process. Furthermore, the presence of goal-conflicts within requirements introduces contradictions and ambiguity, further complicating the synthesis process. these issues collectively make synthesis demanding, often resulting in suboptimal or unviable systems. Our research is dedicated to establishing a robust framework that systematically addresses these challenges, effectively bridging the gap between high-level requirements and dependable system realization. We prioritize refining requirement precision and advancing scalable synthesis techniques, offering advanced tools and methodologies to practitioners and researchers.
this paper presents a simulator generator designed to aid in the development of domain-specific protocols that enable semantic communication, where messages include annotations specifying the meaning of individual fie...
详细信息
Large scale virtual teams working in the academic setting who assemble to carry out research that results in contributions to national cyberinfrastructure face a set of competing challenges. For the research team that...
详细信息
Given that the numerous data embedded in manufacturing processes and products are separated, it is challenging to tackle and integrate heterogeneous data in industrial scenarios. In this context, an industrial knowled...
详细信息
Air pollution remains a critical issue, adversely affecting public health and the environment. In this study, we utilize the Air Quality index dataset from Kaggle to analyze temporal and seasonal variations of key pol...
详细信息
Deep neural network (DNN) testing approaches have grown fast in recent years to test the correctness and robustness of DNNs. In particular, DNN coverage criteria are frequently used to evaluate the quality of a test s...
详细信息
ISBN:
(纸本)9781665457019
Deep neural network (DNN) testing approaches have grown fast in recent years to test the correctness and robustness of DNNs. In particular, DNN coverage criteria are frequently used to evaluate the quality of a test suite, and a number of coverage criteria based on neuron-wise, layer-wise, and path-/trace-wise coverage patterns have been published to date. However, we see that existing criteria are insufficient to represent how one neuron would influence subsequent neurons;hence, we lack a concept of how neurons, when functioning as causes and effects, might jointly make a DNN prediction. Given recent advances in interpreting DNN internals using causal inference, we present the first causality-aware DNN coverage criterion, which evaluates a test suite by quantifying the extent to which the suite provides new causal relations for testing DNNs. Performing standard causal inference on DNNs presents boththeoretical and practical hurdles. We introduce CC (causal coverage), a practical and efficient coverage criterion that integrates a set of optimizations using DNN domain-specific knowledge. We illustrate the efficacy of CC using diverse, real-world inputs and adversarial inputs, such as adversarial examples (AEs) and backdoor inputs. We demonstrate that CC outperforms previous DNN criteria under various settings with moderate cost.
In order to give full play to the advantages of advanced manufacturing technology and grasp the complexity of machining manufacturing system correctly, the mathematical models of process complexity and production orga...
详细信息
Open Source license is a prerequisite for open source software, which regulates the use, modification, redistribution, and attribution of the software. Open source license is crucial to the community development and c...
详细信息
ISBN:
(纸本)9798350322637
Open Source license is a prerequisite for open source software, which regulates the use, modification, redistribution, and attribution of the software. Open source license is crucial to the community development and commercial interests of an OSS project, yet choosing a proper license from hundreds of licenses remains challenging. Tools assisting developers to understand the terms and pick the right license have been emerging, while inferring license compatibility on the dependency tree and satisfying the complex needs of developers are beyond the capability of most of them. thus we propose LicenseRec, an open source license recommendation tool that helps to bridge the gap. LicenseRec performs fine-grained license compatibility checks on OSS projects' code and dependencies, and assists developers to choose the optimal license through an interactive wizard with guidelines of three aspects: personal open source style, business pattern, and community development. the usefulness of LicenseRec is confirmed by the consistent positive feedback from 10 software developers with academic and industrial backgrounds. Our tool is accessible at https://*** and a video showcasing the tool is available at https://***.
Guideline knowledge is helpful for LLM (Large Language Model) based Agent in embody task planning. In this work, we introduce Textgrad to optimize the Guideline knowledge for the agent's embodied tasks. this allow...
详细信息
暂无评论