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.
VLDB 2026 Research / reviewers in the wild / expert

Marcel Rothe

dblp:16/8523 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2010
—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
Software testing · 50% Debugging and program repair · 25% Program analysis · 25%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Debugging and program repair
debugging tools		 0.112010
A visual interactive debugger based on symbolic execution · ASE 2010
Program analysis
symbolic execution		 0.112010
A visual interactive debugger based on symbolic execution · ASE 2010
Software testing
test generation		 0.112010
A visual interactive debugger based on symbolic execution · ASE 2010
Software testing › test generation
white-box test generation		 0.112010
A visual interactive debugger based on symbolic execution · ASE 2010

Methods — techniques the papers use, named apart from their topics

symbolic execution · 0.1
YearPublicationVenuePosition
2010 A visual interactive debugger based on symbolic execution
abstract
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state debugger. It allows to start debugging of source code at any code location without the need to write a fixture as well as to visualize all possible symbolic execution paths and all symbolic states up to a finite depth. A code-based test generation facility is integrated.
Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe
 ASE4