7 citations · 7 across the 10 of their papers we have counts for
Showing 2026 · cs.SEShow all
2 papers · 2 filters
cs.SE2026
Why Do LLMs Fail at OCL Generation? A Graph Reasoning Perspective
Hamza Attarwala, Moataz Chouchen, Mohammad Hamdaqa +1
Large Language Models (LLMs) are increasingly used to generate Object Constraint Language (OCL) constraints from natural language specifications and UML class diagrams. However, ex…
cs.SE2026
Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
Dmytro Humeniuk, Mohammad Hamdaqa, Houssem Ben Braiek +2
Extensive simulation-based testing is important for assuring the safety of autonomous driving systems (ADS). However, generating safety-critical traffic scenarios remains challengi…