Abstract In 1997, Henry Lieberman stated that debugging is the dirty little secret of computer
science. Since then, several promising debugging technologies have been developed such …

In view of the growing complexity of modern software architectures, formal models are
increasingly used to understand why a system works the way it does, opposed to simply …

Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …

In the production environment, a large part of microservice failures are related to the
complex and dynamic interactions and runtime environments, such as those related to …

Software engineering practitioners often spend significant amount of time and effort to
debug. To help practitioners perform this crucial task, hundreds of papers have proposed …

Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

Modern society is increasingly moving toward complex and distributed computing systems.
The increase in scale and complexity of these systems challenges O&M teams that perform …

We present the design of an algorithm to maximize the number of bugs found for black-box
mutational fuzzing given a program and a seed input. The major intuition is to leverage white …

The high cost of locating faults in programs has motivated the development of techniques
that assist in fault localization by automating part of the process of searching for faults …

Developers frequently use inefficient code sequences that could be fixed by simple patches.
These inefficient code sequences can cause significant performance degradation and …