Fault-localization techniques for software systems: A literature review

P Agarwal, AP Agrawal - ACM SIGSOFT Software Engineering Notes, 2014 - dl.acm.org
Software is a major component of any computer system. To maintain the quality of software,
early fault localization is necessary. Many different fault-localization methods have been …

A survey of challenges in spectrum-based software fault localization

QI Sarhan, Á Beszédes - IEEE Access, 2022 - ieeexplore.ieee.org
In software debugging, fault localization is the most difficult, expensive, tedious, and time-
consuming task, particularly for large-scale software systems. This is due to the fact that it …

Neural software vulnerability analysis using rich intermediate graph representations of programs

SM Ghaffarian, HR Shahriari - Information Sciences, 2021 - Elsevier
Security vulnerabilities are among the major concerns of modern software engineering.
Successful results of machine learning techniques in various challenging applications have …

Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations

E Pira, V Rafe, A Nikanjam - Information and Software Technology, 2018 - Elsevier
Context Model checking is an automatic and precise technique in verification and refutation
of software and hardware systems. Despite its advantages, the state space explosion …

Behavioral fault localization by sampling suspicious dynamic control flow subgraphs

TAD Henderson, A Podgurski - 2018 IEEE 11th International …, 2018 - ieeexplore.ieee.org
We present a new algorithm, Score Weighted Random Walks (SWRW), for behavioral fault
localization. Behavioral fault localization localizes faults (bugs) in programs to a group of …

Statistical fault localization using execution sequence

Z You, Z Qin, Z Zheng - 2012 International Conference on …, 2012 - ieeexplore.ieee.org
Fault localization is one of the most expensive and time consuming jobs in program
debugging. Many approaches were proposed in order to locate faults effectively and …

Mining sequential patterns to explain concurrent counterexamples

S Leue, MT Befrouei - … Software: 20th International Symposium, SPIN 2013 …, 2013 - Springer
Concurrent systems are often modeled using an interleaving semantics. Since system
designers tend to think sequentially, it is highly probable that they do not foresee some …

Evaluating automatic fault localization using markov processes

TAD Henderson, A Podgurski… - 2019 19th International …, 2019 - ieeexplore.ieee.org
Statistical fault localization (SFL) techniques are commonly compared and evaluated using
a measure known as" Rank Score" and its associated evaluation process. In the latter …

[图书][B] Frequent subgraph analysis and its software engineering applications

TAD Henderson - 2017 - search.proquest.com
Frequent subgraph analysis is a class of techniques and algorithms to find repeated sub-
structures in graphs known as frequent subgraphs or graph patterns. In the field of Software …

Graph and Frequency-Based Fault Localization

S Parsa - … Evaluation, Refactoring, Test Data Generation and …, 2023 - Springer
Graph and Frequency-Based Fault Localization | SpringerLink Skip to main content Advertisement
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …