19 papers · ranked by Valyu relevance
Abdulaziz Alhumam, Naveen Chilamkurti
The automatic localization of software faults plays a critical role in assisting software professionals in fixing problems quickly. Despite various existing models for fault tolerance based on static features, localization is still challenging. By considering the dynamic features, the capabilities of the fault…
Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller
In an empirical study of 310 bugs across 20 projects, we analyzed 17 execution features and assessed their correlation with failure outcomes. Our findings suggest that fault localization benefits from a broader range of execution features: (1) Scalar pairs exhibit the strongest correlation with failures; (2) Beyond…
JungWoo Park, Minju Kang, Seungho Jeon, Seong Oun Hwang + 4 more
Fault localization (FL) is the task of identifying code locations responsible for bugs in software, and it is a prerequisite step in the bug-fixing process. FL in large-scale systems such as the Linux kernel involves three core challenges: First, the vast codebase fundamentally complicates fault search. Second, the…
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…
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…
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…
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…
Mohammad Rezaalipour, Carlo A. Furia
Despite its massive popularity as a programming language, especially in novel domains like data science programs, there is comparatively little research about fault localization that targets Python. Even though it is plausible that several findings about programming languages like C/C++ and Java—the most common choices…
Pedro Orvalho, Mikoláš Janota, Vasco Manquinho
Multiple Test Cases Authors: ['Pedro Orvalho' 'Mikoláš Janota' 'Vasco Manquinho'] Abstract. Debugging is one of the most time-consuming and expensive tasks in software development. Several formula-based fault localization (FBFL) methods have been proposed, but they fail to guarantee a set of diagnoses across all…
Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been proposed. Most of them have focused on the effective and efficient detection of property violations…
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux + 1 more
'W. Eric Wong'] Software engineering processes generate a large amount of data, and several authors have advocated for the use of data mining methods to conduct fault localization. Many data mining methods with different merits exist, but the very first step is often to simply consider as data what was previously…
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…
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…
Xi Chen, Matthew R. Lowerison, Zhijie Dong, Aiguo Han + 1 more
Ultrasound localization microscopy (ULM) is an emerging vascular imaging technique that overcomes the resolution-penetration compromise of ultrasound imaging. Accurate and robust microbubble (MB) localization is essential for successful ULM. In this study, we present a deep learning (DL)- based localization technique…
Qi-Xuan Yue, Zhongchun Wei, Chengxin Dai, Mingze Bai + 2 more
With the rapid development of mass spectrometry-based proteomics, the volume of phosphoproteomic data has increased substantially. However, accurate localization of phosphorylation sites and standardized statistical validation remain critical analytical bottlenecks. To address the lack of standardized cross-algorithm…
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…
Brianna Chrisman, Chloe He, Jae-Yoon Jung, Nate Stockham + 3 more
Although it is heavily relied on to study genetic contributors to health and disease, the current human reference genome (GRCh38) is incomplete in two major ways: firstly, it is missing large sections of heterochromatic sequence, and secondly, as a singular, linear reference genome it does not represent the full…