Fault diagnosis approaches can generally be categorized into spectrum-based fault
localization (SFL, correlating failures with abstractions of program traces), and model-based …

Testing and fault localization are very expensive software engineering tasks that have been
tried to be automated. Although many successful techniques have been designed, the actual …

Developing model-based automatic debugging strategies has been an active research area
for several years, with the aim of locating defects in a program by utilising fully automated …

(Semi-) automated diagnosis of software faults can drastically increase debugging
efficiency, improving reliability and time-to-market. Current automatic diagnosis techniques …

We present an automatic fault localization technique which leverages time spectra as
abstractions for program executions. Time spectra have been traditionally used for …

Spectrum-based fault localization is a statistical technique that aims at helping software
developers to find faults quickly by analyzing abstractions of program traces to create a …

As open source software products have evolved over time to satisfy a variety of demands
from increasing users, they have become large and complex in general. Open source …

Abstract Model-based debugging has proved successful as a tool to guide automated
debugging efforts, but the technique may suffer from large result sets in practice, since no …

Writing software is a difficult and expensive task. Its automation is hence very valuable.
Search algorithms have been successfully used to tackle many software engineering …

Agents are a promising technology for dealing with increasingly complex system
development. An agent may have many ways of achieving a given task, and it selects the …