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 …

Programmers often have to spend a significant amount of time in-specting the software code
and execution traces to identify the cause of a bug. For a multithreaded program, debugging …

Software debugging has long been regarded as a time and effort consuming task. In the
process of debugging, developers usually need to manually inspect many program steps to …

Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …

Source code diffs are used on a daily basis as part of code review, inspection, and auditing.
To facilitate understanding, they are typically accompanied by explanations that describe the …

Incremental symbolic execution addresses the scalability problem of symbolic execution by
concentrating on incremental behaviors that are introduced by the changes during program …

Regression faults, which make working code stop functioning, are often introduced when
developers make changes to the software. Many regression fault localization techniques …

Our community constantly pushes the state-of-the-art by introducing" new" techniques.
These techniques often build on top of, and are compared against, existing systems that …

Bug datasets lay significant empirical and experimental foundation for various SE/PL
researches such as fault localization, software testing, and program repair. Current well …

Information retrieval (IR) based bug localization technology is a relatively recognized
lightweight location method. Most IR bug localization methods solve the problem of semantic …