Demo Data from VLDB 2026 / reviewers in the wild / expert
Vincent Masquelier
dblp:139/7019
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2013
—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 · 83% Requirements engineering and software design · 17% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
model-based testing |
0.2 | 1 | 2013 | Model based test validation and oracles for data acquisition systems · ASE 2013 |
Software testing
test oracle |
0.2 | 1 | 2013 | Model based test validation and oracles for data acquisition systems · ASE 2013 |
Software testing › test evaluation
test validation |
0.2 | 1 | 2013 | Model based test validation and oracles for data acquisition systems · ASE 2013 |
Requirements engineering and software design
model-driven engineering |
0.0 | 1 | 2013 | Model based test validation and oracles for data acquisition systems · ASE 2013 |
Requirements engineering and software design › model-driven engineering › UML
UML class diagrams |
0.0 | 1 | 2013 | Model based test validation and oracles for data acquisition systems · ASE 2013 |
Methods — techniques the papers use, named apart from their topics
model-based testing · 0.2OCL constraints · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Model based test validation and oracles for data acquisition systemsabstractThis paper presents an automated, model based test validation and oracle approach for systems with complex input and output structures, such as Data Acquisition (DAQ) systems, which are common in many sectors including the satellite communications industry. We present a customised modelling methodology for such systems and a tool that automatically validates test inputs and, after test execution, applies an oracle that is based on mappings between the input and output. We also apply our proposed approach and tool to a complex industrial DAQ system and investigate the scalability and effectiveness of the approach in validating test cases, the DAQ system, or its specifications (captured as models). The results of the case study show that the approach is indeed scalable with respect to two dimensions: (1) model size and (2) test validation and oracle execution time. The size of the model for the DAQ system under study remains within practical bounds, and far below that of typical system models, as it includes a class diagram with 68 classes and 49 constraints. The developed test validation and oracles tool can handle satellite transmission files up to two GB within practical time constraints, taking, on a standard PC, less than three minutes for test validation and less than 50 minutes for applying the oracle. The approach was also effective in automatically applying the oracle successfully for the actual test suite of the DAQ system, accurately identifying all issues and violations that were expected, thus showing that an approach based on models can be sufficiently accurate. Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Elizabeta Fourneret, Tomislav Nakic-Alfirevic, Vincent Masquelier |
ASE | 6 |