Demo Data from EDBT 2026 / reviewers in the wild / expert
Bat-Chen Rothenberg
dblp:189/1034
· DBLP profile ↗
4ranked-venue papers
3as first author
1since 2021 · last 2023
0000-0001-8345-7273ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 3 first-author · 1 since 2021Theory of computation · 3 · 2 first-author · 1 since 2021
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
2 papers |
Debugging and program repair · 86% Software testing · 14% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
automated program repair |
0.7 | 2 | 2020 | Must Fault Localization for Program Repair · CAV (2) 2020 Sound and Complete Mutation-Based Program Repair · FM 2016 |
Automated reasoning and model checking
satisfiability modulo theories |
0.7 | 1 | 2023 | SMT Sampling via Model-Guided Approximation · FM 2023 |
Debugging and program repair
fault localization |
0.4 | 1 | 2020 | Must Fault Localization for Program Repair · CAV (2) 2020 |
Debugging and program repair › automated program repair
mutation-based repair |
0.4 | 1 | 2020 | Must Fault Localization for Program Repair · CAV (2) 2020 |
Software testing
mutation testing |
0.2 | 1 | 2016 | Sound and Complete Mutation-Based Program Repair · FM 2016 |
Methods — techniques the papers use, named apart from their topics
model-guided approximation · 0.7SMT sampling · 0.7mutation-based program repair · 0.4mutation-based repair · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | SMT Sampling via Model-Guided Approximation
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
FM | 2 |
| 2020 | Must Fault Localization for Program RepairabstractThis work is concerned with fault localization for automated program repair. We define a novel concept of a must location set. Intuitively, such a set includes at least one program location from every repair for a bug. Thus, it is impossible to fix the bug without changing at least one location from this set. A fault localization technique is considered a must algorithm if it returns a must location set for every buggy program and every bug in the program. We show that some traditional fault localization techniques are not must. We observe that the notion of must fault localization depends on the chosen repair scheme, which identifies the changes that can be applied to program statements as part of a repair. We develop a new algorithm for fault localization and prove that it is must with respect to commonly used schemes in automated program repair. We incorporate the new fault localization technique into an existing mutation-based program repair algorithm. We exploit it in order to prune the search space when a buggy mutated program has been generated. Our experiments show that must fault localization is able to significantly speed-up the repair process, without losing any of the potential repairs. Bat-Chen Rothenberg, Orna Grumberg |
CAV (2) | 1 |
| 2018 | Incremental Verification Using Trace Abstraction
Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
SAS | 1 |
| 2016 | Sound and Complete Mutation-Based Program Repair
Bat-Chen Rothenberg, Orna Grumberg |
FM | 1 |