18 papers · ranked by Valyu relevance
Daniel Selvaratnam, Alessio Moreschini, Amritam Das, Thomas Parisini + 1 more
'Henrik Sandberg'] Abstract— We present a novel fault localisation methodology for linear time-invariant electrical networks with infinite-dimensional edge dynamics and uncertain fault dynamics. The theory accommodates instability and also bounded propagation delays in the network. The goal is to estimate the location…
Yonghao Wu, Zheng Li, Jie M. Zhang, Mike Papadakis + 2 more
'Yongxin Liu'] Large Language Models (LLMs) have shown promise in multiple software engineering tasks including code generation, program repair, code summarisation, and test generation. Fault localisation is instrumental in enabling automated debugging and repair of programs and was prominently featured as a highlight…
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…
Nargiz Humbatova, Jinhan Kim, Gunel Jahangirova, Shin Yoo + 1 more
'Paolo Tonella'] With the increased popularity of Deep Neural Networks (DNNs), increases also the need for tools to assist developers in the DNN implementation, testing and debugging process. Several approaches have been proposed that automatically analyse and localise potential faults in DNNs under test. In this work…
Jin-Han Kim, Gabin An, Robert Feldt, Shin Yoo
Context: Automated fault localisation aims to assist developers in the task of identifying the root cause of the fault by narrowing down the space of likely fault locations. Simulating variants of the faulty program called mutants, several Mutation Based Fault Localisation (MBFL) techniques have been proposed to…
Vincent Nsed Ogar, Sajjad Hussain, Kelum A.A. Gamage
One of the most critical concerns in power system reliability is the timely and accurate detection of transmission line faults. Therefore, accurate detection and localisation of these faults are necessary to avert system collapse. This paper focuses on using Artificial Neural Networks in faults detection and…
Nargiz Humbatova, Jin-Han Kim, Gunel Jahangirova, Shin Yoo + 1 more
'Paolo Tonella'] With the increased popularity of Deep Neural Networks (DNNs), increases also the need for tools to assist developers in the DNN implementation, testing and debugging process. Several approaches have been proposed that automatically analyse and localise potential faults in DNNs under test. In this work…
Fabian Barras, Nicolas Brantut
Earthquakes are produced by the propagation of rapid slip along tectonic faults. The propagation dynamics is governed by a balance between elastic stored energy in the surrounding rock, and dissipated energy at the propagating tip of the slipping patch. Energy dissipation is dictated by the mechanical behaviour of the…
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…
Gabin An, Shin Yoo
The performance of many Fault Localisation (FL) techniques directly depends on the quality of the used test suites. Consequently, it is extremely useful to be able to precisely measure how much diagnostic power each test case can introduce when added to a test suite used for FL. Such a measure can help us not only to…
Jiaju Wu, Chuan Chen, Yongqi Ma, Ze Xiu + 4 more
'Shihao Song' 'Chunhua Yang'] Most of the failures during the actual operation of equipment are caused by improper human operation, tools, spare parts, and environmental factors. These faults are routine. Conventional faults have been validated during equipment development, testing, identification, and maintenance…
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…
Oscar M Camacho, Kerry A Ramsbottom, Andrew Collins, Andrew R Jones
Phosphorylation is a post-translational modification of great interest to researchers due to its relevance in many biological processes. LC-MS/MS techniques have enabled high-throughput data acquisition with studies claiming identification and localisation of thousands of phosphosites. The identification and…
Authors not listed
Many physical properties of functional materials are governed by their impurities rather than their bulk characteristics. Defects in crystals can activate electronic and ionic conductivity, create active centres for catalysis, or store information through localised spin configurations. Accurate modelling of defect…
Authors not listed
Predictive maintenance (PdM) can substantially reduce unplanned downtime and maintenance costs in industrial systems. In this study, we develop a proof-of-concept XGBoost-based machine learning pipeline for detecting component faults in a hydraulic test rig using the publicly available UCI Condition Monitoring of…
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…
Paramvir Ahlawat
Control over morphological evolution is essential to make efficient, stable and reproducible perovskite electronics. In this letter, molecular dynamics simulations are performed to understand the crystallization of polytypes, stacking faults and grain boundaries of formamidinium lead iodide.