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 …
Security vulnerabilities are among the major concerns of modern software engineering. Successful results of machine learning techniques in various challenging applications have …
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 …
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 …
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 …
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 …
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 …
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 …
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 …