Software testing is a crucial component of software engineering that aims to confirm the
intended functionality of software modules and minimize the likelihood of future failures. This …

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 …

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 …

Pure spectrum‐based fault localization (SBFL) is a well‐studied statistical debugging
technique that only takes a set of test cases (some failing and some passing) and their code …

The verification of model transformations is important for realizing robust model-driven
engineering technologies and quality-assured automation. Many approaches for checking …

Fault localization and repair are time-consuming and tedious. There is a significant and
growing need for automated techniques to support such tasks. Despite significant progress …

Abstract Spectrum-Based Fault Localization (SBFL) is a widely investigated heuristic
approach and a lightweight but efficient technique. Recently, to discover useful latent …

A system-of-systems (SoS) tries to achieve prominent goals, such as increasing road
capacity in platooning that groups driving vehicles in proximity, through interactions between …

Spectrum-Based Fault Localization (SBFL) is a well-understood statistical approach to
software fault localization, and there have been numerous studies performed that tackle its …

In Spectrum Based Fault Localization, program elements such as statements or functions
are ranked according to a suspiciousness score which can guide the programmer in finding …