Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

Maximilian Wulf

dblp:419/7584 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software testing
search-based software testing
0.912025
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.312025
Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems · ASE 2025
Software testing
test generation
0.312025
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
YearPublicationVenuePosition
2025 Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems
abstract
Ensuring 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
ASE3