Demo Data from VLDB 2026 / reviewers in the wild / expert
Elena Leroux
dblp:08/5822 · also Elena Zinovieva 0001
· DBLP profile ↗
6ranked-venue papers
0as first author
0since 2021 · last 2017
0000-0002-9063-7640ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5Applied, interdisciplinary, general and emerging computing · 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 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › specification-based testing
conformance testing |
0.0 | 1 | 2001 | STG: a tool for generating symbolic test programs and oracles from operational specifications · ESEC / SIGSOFT FSE 2001 |
Software testing
specification-based testing |
0.0 | 1 | 2001 | STG: a tool for generating symbolic test programs and oracles from operational specifications · ESEC / SIGSOFT FSE 2001 |
Software testing › test oracle
test oracle generation |
0.0 | 1 | 2001 | STG: a tool for generating symbolic test programs and oracles from operational specifications · ESEC / SIGSOFT FSE 2001 |
Methods — techniques the papers use, named apart from their topics
symbolic execution · 0.0formal operational specification · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic SystemsabstractInternational audience Lucas B. R. Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa |
Comput. J. | 2 |
| 2016 | Safe reconfiguration of Coqcots and Pycots components
Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sebastien Martinez |
J. Syst. Softw. | 3 |
| 2014 | Towards a Process to Design Architectures of Service-Oriented Robotic Systems
Lucas B. R. Oliveira, Elena Leroux, Kátia Romero Felizardo, Flávio Oquendo, Elisa Yumi Nakagawa |
ECSA | 2 |
| 2005 | Symbolic Test Selection Based on Approximate Analysis
Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Leroux |
TACAS | 4 |
| 2002 | STG: A Symbolic Test Generation Tool
Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Leroux |
TACAS | 4 |
| 2001 | STG: a tool for generating symbolic test programs and oracles from operational specificationsabstractWe report on a tool we have developed that automates the derivation of tests from specifications. The tool implements conformance testing techniques to derive symbolic tests that incorporate their own oracles from formal operational specifications. It was applied for testing a simple version of the CEPS (Common Electronic Purse Specification). Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Leroux |
ESEC / SIGSOFT FSE | 4 |