Demo Data from EDBT 2026 / reviewers in the wild / expert
Maximilian Wulf
dblp:419/7584
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 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 |
Software testing · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
search-based software testing |
0.9 | 1 | 2025 | Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems · ASE 2025 |
Software testing › specification-based testing › requirements-based testing
scenario-based testing |
0.3 | 1 | 2025 | Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems · ASE 2025 |
Software testing
test generation |
0.3 | 1 | 2025 | Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems · ASE 2025 |
Methods — techniques the papers use, named apart from their topics
search-based algorithm · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation SystemsabstractEnsuring robust robotic navigation in dynamic environments is a key challenge, as traditional testing methods often struggle to cover the full spectrum of operational requirements. This paper presents the industrial adoption of Surrealist, a simulation-based test generation framework originally for UAVs, now applied to the ANYmal quadrupedal robot for industrial inspection. Our method uses a search-based algorithm to automatically generate challenging obstacle avoidance scenarios, uncovering failures often missed by manual testing. In a pilot phase, generated test suites revealed critical weaknesses in one experimental algorithm (40.3% success rate) and served as an effective benchmark to prove the superior robustness of another (71.2% success rate). The framework was then integrated into the ANYbotics workflow for a six-month industrial evaluation, where it was used to test five proprietary algorithms. A formal survey confirmed its value, showing it enhances the development process, uncovers critical failures, provides objective benchmarks, and strengthens the overall verification pipeline. Sajad Khatiri, Francisco E. Vina, Maximilian Wulf, Paolo Tonella, Sebastiano Panichella |
ASE | 3 |