Demo Data from EDBT 2026 / reviewers in the wild / expert
Sebastiano Mariani
dblp:201/9323
· DBLP profile ↗
3ranked-venue papers
0as first author
2since 2021 · last 2023
0009-0002-1929-9914ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 since 2021Software 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 · 62% Program analysis · 38% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
mobile application testing |
0.7 | 1 | 2023 | Columbus: Android App Testing Through Systematic Callback Exploration · ICSE 2023 |
Program analysis
symbolic execution |
0.2 | 1 | 2023 | Columbus: Android App Testing Through Systematic Callback Exploration · ICSE 2023 |
Program analysis › symbolic execution
under-constrained symbolic execution |
0.2 | 1 | 2023 | Columbus: Android App Testing Through Systematic Callback Exploration · ICSE 2023 |
Methods — techniques the papers use, named apart from their topics
dynamic heap introspection · 0.7data dependency feedback · 0.7crash-guidance · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Columbus: Android App Testing Through Systematic Callback ExplorationabstractWith the continuous rise in the popularity of Android mobile devices, automated testing of apps has become more important than ever. Android apps are event-driven programs. Unfortunately, generating all possible types of events by interacting with an app's interface is challenging for an automated testing approach. Callback-driven testing eliminates the need for event generation by directly invoking app callbacks. However, existing callback-driven testing techniques assume prior knowledge of Android callbacks, and they rely on a human expert, who is familiar with the Android API, to write stub code that prepares callback arguments before invocation. Since the Android API is very large and keeps evolving, prior techniques could only support a small fraction of callbacks present in the Android framework. In this work, we introduce Columbus, a callback-driven testing technique that employs two strategies to eliminate the need for human involvement: (i) it automatically identifies callbacks by simultaneously analyzing both the Android framework and the app under test; (ii) it uses a combination of under-constrained symbolic execution (primitive arguments), and type-guided dynamic heap introspection (object arguments) to generate valid and effective inputs. Lastly, Columbus integrates two novel feedback mechanisms-data dependency and crash-guidance- during testing to increase the likelihood of triggering crashes and maximizing coverage. In our evaluation, Columbus outperforms state-of-the-art model-driven, checkpoint-based, and callback-driven testing tools both in terms of crashes and coverage. Priyanka Bose, Dipanjan Das 0002, Saastha Vasan, Sebastiano Mariani, Ilya Grishchenko, Andrea Continella, Antonio Bianchi, Christopher Krügel, Giovanni Vigna |
ICSE | 4 |
| 2022 | Hybrid Pruning: Towards Precise Pointer and Taint Analysis
Dipanjan Das 0002, Priyanka Bose, Aravind Machiry, Sebastiano Mariani, Yan Shoshitaishvili, Giovanni Vigna, Christopher Krügel |
DIMVA | 4 |
| 2017 | Measuring and Defeating Anti-Instrumentation-Equipped Malware
Mario Polino, Andrea Continella, Sebastiano Mariani, Stefano D'Alessio, Lorenzo Fontana, Fabio Gritti, Stefano Zanero |
DIMVA | 3 |