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.
? Tutorial for this page

Lucia Cojocaru

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

TopicWeightPapersLastEvidence papers
Software testing › mobile application testing
android app testing
0.412020
Time-travel testing of Android apps · ICSE 2020
Software testing › test generation › test sequence generation
event sequence generation
0.412020
Time-travel testing of Android apps · ICSE 2020
Program verification › model checking
state space exploration
0.412020
Time-travel testing of Android apps · ICSE 2020
Software testing
test input generation
0.412020
Time-travel testing of Android apps · ICSE 2020

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

search-based testing · 0.4
YearPublicationVenuePosition
2020 Time-travel testing of Android apps
abstract
Android 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
ICSE3