20 papers · ranked by Valyu relevance
Mohammad Mehdi Morovati, Amin Nikanjam, Foutse Khomh
Approach Authors: ['Mohammad Mehdi Morovati' 'Amin Nikanjam' 'Foutse Khomh'] Over the past decade, Deep Learning (DL) has become an integral part of our daily lives, with its widespread adoption in various fields, particularly in safety-critical domains. This surge in DL usage has heightened the need for developing…
Jifeng Xuan, Martin Monperrus
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault localization aims to identify the faulty position in source code based on the execution trace of test cases. Failing test cases and their assertions form test oracles for the failing behavior of the system under…
Shuvendu K. Lahiri, Chao Wang, Bat-Chen Rothenberg, Orna Grumberg
This work is concerned with fault localization for automated program repair. We define a novel concept of a must location set. Intuitively, such a set includes at least one program location from every repair for a bug. Thus, it is impossible to fix the bug without changing at least one location from this set. A fault…
Hui He, Dongyan Zhang, Min Liu, Weizhe Zhang + 1 more
Software security defects have a serious impact on the software quality and reliability. It is a major hidden danger for the operation of a system that a software system has some security flaws. When the scale of the software increases, its vulnerability has becoming much more difficult to find out. Once these…
A. Askarunisa, T. Manju, B. Giri Babu
Fault localization is a process to find the location of faults. It determines the root cause of the failure. It identifies the causes of abnormal behaviour of a faulty program. It identifies exactly where the bugs are. Existing fault localization techniques are Slice based technique, Program-Spectrum based Technique…
Pedro Orvalho, Marta Kwiatkowska, Mikoláš Janota, Vasco Manquinho
Debugging is one of the most time-consuming and expensive tasks in software development and circuit design. Several formula-based fault localisation (FBFL) methods have been proposed, but they fail to guarantee a set of diagnoses across all failing tests or may produce redundant diagnoses that are not subset-minimal…
Md Nakhla Rafi, Dong Jae Kim, Tse-Hsun Chen, Shaowei Wang
Agents and Self-Reflection Authors: ['Md Nakhla Rafi' 'Dong Jae Kim' 'Tse-Hsun Chen' 'Shaowei Wang'] Locating and fixing software faults is a time-consuming and resource-intensive task in software development. Traditional fault localization methods, such as Spectrum-Based Fault Localization (SBFL), rely on statistical…
Higor Amario de Souza, Marcos Lordello Chaim, Fábio Kon
Despite being one of the most basic tasks in software development, debugging is still performed in a mostly manual way, leading to high cost and low performance. To address this problem, researchers have studied promising approaches, such as Spectrum-based Fault Localization (SFL) techniques, which pinpoint program…
Heling Cao, Fei Wang, Miaolei Deng, Lei Li + 1 more
Background Spectrum-based Fault localization have proven to be useful in the process of software testing and debugging. However, how to improve the effectiveness of software fault localization has always been a research hot spot in the field of software engineering. Dynamic slicing can extract program dependencies…
Zachary P. Fry, Westley Weimer
Maintenance is a dominant component of software cost, and localizing reported defects is a significant component of maintenance. We propose a scalable approach that leverages the natural language present in both defect reports and source code to identify files that are potentially related to the defect in question. Our…
Rongyu Liang, Feng Liu, Jie Liu
A small fault in a large communication network may cause abrupt and large alarms, making the localization of the root cause of failure a difficult task. Traditionally, fault localization is carried out by an operator who uses alarms in alarm lists; however, fault localization process complexity needs to be addressed…
Jiang Wu, Zhuo Zhang, Jianjun Xu, Jiayu He + 4 more
'Xiankai Meng' 'Panpan Li' 'Lalit Chandra Saikia'] In an error-prone development process, the ability to localize faults is a crucial one. Generally speaking, detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development time. The debugging of the Verilog…
Loïc J. Azzalini, David Crompton, Gabriele M. T. D’Eleuterio, Frances Skinner + 1 more
Data assimilation techniques for state and parameter estimation are frequently applied in the context of computational neuroscience. In this work, we show how an adaptive variant of the unscented Kalman filter (UKF) performs on the tracking of a conductance-based neuron model. Unlike standard recursive filter…
Authors not listed
The ongoing threat of global warming necessitates a shift towards clean energy sources to meet rising demands while reducing carbon emissions. Polymer electrolyte fuel cells (PEFCs) represent a promising technology for both mobile and stationary applications but their poor operational lifetimes and frequent faults are…
Chris Vogl, Peng Zheng, Stephen P. Seslar, Aleksandr Y. Aravkin
We consider the problem of locating a point-source heart arrhythmia using data from a standard diagnostic procedure, where a reference catheter is placed in the heart, and arrival times from a second diagnostic catheter are recorded as the diagnostic catheter moves around within the heart. We model this situation as a…
William Daniels, Meng Jia, Dorit Hammerling
We propose a generic, modular framework for emission event detection, localization, and quantification on oil and gas production sites that uses concentration data collected by pointin-space continuous monitoring systems (CMS). The framework uses a gradient-based spike detection algorithm to estimate emission start and…
Tapan Chowdhury, Anindya Maitra, Anjali Agarwal, Arundhuti Sur + 3 more
Cell growth is an intricate biological phenomenon that is closely regulated by the interplay between various growth factors and transcription factors. Signaling pathways are the main mediators in this event, which provide the driving force for mitosis or sometimes meiosis. However, when malfunctions occur within the…
William Daniels, Meng Jia, Dorit Hammerling
We propose a generic, modular framework for methane emission event detection, localization, and quantification on oil and gas production sites that uses concentration and wind data collected by point-in-space continuous monitoring systems. The framework uses a gradient-based spike detection algorithm to estimate…
Lukas Hübner, Alexey M. Kozlov, Demian Hespe, Peter Sanders + 1 more
Phylogenetic trees are now routinely inferred on large scale HPC systems with thousands of cores as the parallel scalability of phylogenetic inference tools has improved over the past years to cope with the molecular data avalanche. Thus, the parallel fault tolerance of phylogenetic inference tools has become a…
Bhaskar Rana, Marc Coons, John Herbert
Modeling of polaron defects is an important aspect of computational materials science but the description of unpaired spins in density functional theory (DFT) suffers from delocalization error. To diagnose and correct the over-delocalization of unpaired spins, we report an implementation of density-corrected (DC-)DFT…