EDBT 2026 Demo / reviewers in the wild / expert
Markus Fleischmann
dblp:393/9718
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2024
0009-0001-7072-8908ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 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
1 paper |
Program analysis · 44% Software testing · 44% Programming languages and type systems · 13% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
static analysis |
0.8 | 1 | 2024 | Constraint-Based Test Oracles for Program Analyzers · ASE 2024 |
Software testing
test oracle |
0.8 | 1 | 2024 | Constraint-Based Test Oracles for Program Analyzers · ASE 2024 |
Programming languages and type systems › type systems
soundness |
0.2 | 1 | 2024 | Constraint-Based Test Oracles for Program Analyzers · ASE 2024 |
Methods — techniques the papers use, named apart from their topics
constraint solving · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Constraint-Based Test Oracles for Program AnalyzersabstractProgram analyzers implement complex algorithms and, as any software, can contain bugs. Bugs in their implementation may lead to analyzers being imprecise and failing to verify safe programs, i.e., programs with no reachable error locations; or worse, analyzer bugs may lead to reporting unsound results by verifying unsafe programs, i.e., programs with reachable error locations. Markus Fleischmann, David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis |
ASE | 1 |