Demo Data from EDBT 2026 / reviewers in the wild / expert
Ignacio Perez
dblp:169/4730
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2018
—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 · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › test generation
symbolic testing |
0.3 | 1 | 2018 | Testing and validating end user programmed calculated fields · ESEC/SIGSOFT FSE 2018 |
Software testing
test input generation |
0.3 | 1 | 2018 | Testing and validating end user programmed calculated fields · ESEC/SIGSOFT FSE 2018 |
Methods — techniques the papers use, named apart from their topics
symbolic execution · 0.3SMT solving · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | Testing and validating end user programmed calculated fieldsabstractThis paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic execution and shows how database queries can help complement some of symbolic execution's weaknesses, namely in the treatment of loops and also of path conditions that exceed SMT solver capabilities. Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez |
ESEC/SIGSOFT FSE | 6 |