Demo Data from VLDB 2026 / reviewers in the wild / expert
Abdelkader Elqortobi
dblp:260/1767
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1998
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Applied, 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% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% | |
| Theoretical computer science
1 paper |
Automata and formal languages · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
test generation |
0.0 | 1 | 1998 | Timed Test Cases Generation Based on State Characterization Technique · RTSS 1998 |
Electronic design automation › hardware verification and test › delay fault testing
timed-test generation |
0.0 | 1 | 1998 | Timed Test Cases Generation Based on State Characterization Technique · RTSS 1998 |
Automata and formal languages
timed automata |
0.0 | 1 | 1998 | Timed Test Cases Generation Based on State Characterization Technique · RTSS 1998 |
Methods — techniques the papers use, named apart from their topics
state characterization · 0.1fault modeling · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1998 | Timed Test Cases Generation Based on State Characterization TechniqueabstractReal time reactive systems interact with their environment, using inputs and outputs, within specified time constraints. For such systems, a functional misbehavior or a deviation from the specified time constraints may have catastrophic consequences. Therefore, ensuring the correctness of real time systems becomes very important. We introduce the potential faults which can be encountered in a timed system implementation. We adapt an existing test cases generation technique, based on state characterization set, to generate timed test cases from a timed system specification. We model a timed system with a Timed Input Output Automaton (TIOA), which is a variant of the Alur and Dill model (R. Alur and D. Dill, 1994). In order to generate the timed test suite, the TIOA is first transformed into a Nondeterministic Timed Finite State Machine (NTFSM) with a given granularity. We illustrate our method with an example. Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi |
RTSS | 4 |