Demo Data from EDBT 2026 / reviewers in the wild / expert
Lucia Cojocaru
dblp:276/3325
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2020
—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 · 75% Program verification · 25% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › mobile application testing
android app testing |
0.4 | 1 | 2020 | Time-travel testing of Android apps · ICSE 2020 |
Software testing › test generation › test sequence generation
event sequence generation |
0.4 | 1 | 2020 | Time-travel testing of Android apps · ICSE 2020 |
Program verification › model checking
state space exploration |
0.4 | 1 | 2020 | Time-travel testing of Android apps · ICSE 2020 |
Software testing
test input generation |
0.4 | 1 | 2020 | Time-travel testing of Android apps · ICSE 2020 |
Methods — techniques the papers use, named apart from their topics
search-based testing · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Time-travel testing of Android appsabstractAndroid testing tools generate sequences of input events to exercise the state space of the app-under-test. Existing search-based techniques systematically evolve a population of event sequences so as to achieve certain objectives such as maximal code coverage. The hope is that the mutation of fit event sequences leads to the generation of even fitter sequences. However, the evolution of event sequences may be ineffective. Our key insight is that pertinent app states which contributed to the original sequence's fitness may not be reached by a mutated event sequence. The original path through the state space is truncated at the point of mutation. Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury |
ICSE | 3 |