VLDB 2026 Research / reviewers in the wild / expert
Simin Ghasemi
dblp:129/2779
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2026
0000-0001-8174-1422ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | MoTDeReL: Model-based testing through deep reinforcement learning for software systems specified through graph transformationabstractAbstract Effective test case generation is crucial for ensuring software correctness, whereas generating high-coverage test suites efficiently remains a challenge. Graph transformations provide a formal way to specify and analyse software systems by modeling system operations as transformation rules and constructing a state-based representation of system behavior. Model-based testing (MBT) often uses model checking over this representation to discover execution paths that satisfy certain test requirements. However, such approaches suffer from severe scalability issues due to the rapid growth of the state space and the high computational cost of exhaustive exploration. While optimization-based approaches mitigate these issues by exploring a reduced portion of the state space, they still struggle to scale effectively. MBT approaches using graph transformation faces the same scalability and often face additional challenges due to the richer structural complexity of graph-based models. However, apart from the behavioral information derived from state transitions, graph transformation systems also encode explicit structural relationships between states and transformation rules. These structural characteristics can be used to define and evaluate test objectives. To exploit this, we propose a novel approach based on deep reinforcement learning to generate test suites for systems specified through graph transformations. We use the reward/penalty mechanism of reinforcement learning to optimize the selection of moves within the state space, enabling the generation of test cases based on prior decisions. Our goal is to achieve greater coverage of test objectives while minimizing the size of the test cases. The method has been implemented in GROOVE, an open-source toolset for designing and model checking graph transformation systems. Experimental results on well-known case studies demonstrate that our approach achieves higher coverage with reduced computational cost compared to state-of-the-art techniques. Simin Ghasemi, Maryam Asgari Araghi, Vahid Rafe, Reiko Heckel |
Autom. Softw. Eng. | 1 |
| 2025 | Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning
Simin Ghasemi, Vahid Rafe, Reiko Heckel, Issam Al-Azzoni |
ICGT | 1 |
| 2025 | Whole test suite generation from graph transformation specifications using ant colony optimization
Simin Ghasemi, Vahid Rafe, Anvar Bahrampour, Reiko Heckel |
Softw. Qual. J. | 1 |