EDBT 2026 Demo / reviewers in the wild / expert
Khalid Ghori
dblp:86/7880
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Debugging and program repair · 92% Program analysis · 8% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
automated debugging |
0.1 | 1 | 2009 | A Case for Automated Debugging Using Data Structure Repair · ASE 2009 |
Debugging and program repair › program repair
data structure repair |
0.1 | 1 | 2009 | A Case for Automated Debugging Using Data Structure Repair · ASE 2009 |
Debugging and program repair
fault localization |
0.1 | 1 | 2009 | A Case for Automated Debugging Using Data Structure Repair · ASE 2009 |
Debugging and program repair › automated program repair
constraint-based repair |
0.0 | 1 | 2009 | A Case for Automated Debugging Using Data Structure Repair · ASE 2009 |
Program analysis
static analysis |
0.0 | 1 | 2009 | A Case for Automated Debugging Using Data Structure Repair · ASE 2009 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.1constraint-based data structure repair · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | A Case for Automated Debugging Using Data Structure RepairabstractAutomated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair, a recently developed technique for fault recovery, as a basis for automated debugging. Data structure repair uses given structural integrity constraints for key data structures to monitor their correctness during the execution of a program. If a constraint violation is detected, repair performs mutations on the data structures, i.e., corrupt program state, and transforms it into another state, which satisfies the desired constraints. The primary goal of data structure repair is to transform an erroneous state into an acceptable state. Therefore, the mutations performed by repair actions provide a basis of debugging faults in code (assuming the errors are due to bugs). A key challenge to embodying this insight into a mechanical technique arises due to the difference in the concrete level of the program states and the abstract level of the program code: repair actions apply to concrete data structures that exist at runtime, whereas debugging applies to code. We observe that static structures (program variables) hold handles to dynamic structures (heap-allocated data), which allows bridging the gap between the abstract and concrete levels. We envision a tool-chain where a data structure repair tool generates repair logs that are used by a fault localization tool and a repair abstraction tool that apply in synergy to not only identify the location of fault(s) in code but also to synthesize debugging suggestions. An embodiment of our vision can significantly reduce the cost of developing reliable software. Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid |
ASE | 2 |