Test amplification for REST APIs : using "out-of-the-box" Large Language Models
Source
IEEE software - ISSN 0740-7459-42:4 (2025) p. 43-49
Traceability support for engineering reviews of horizontal model evolution
Source
Systems engineering - ISSN 1098-1241- (2025) p.
Revelations : a decidable class of POMDPs with omega-regular objectives
Source
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA-39:25 (2025) p. 26454-26462
A Laplacian-based quantum graph neural networks for quantum semi-supervised learning
Source
Quantum information processing - ISSN 1570-0755-24:4 (2025) p. 1-20
Model-driven engineering for digital twins : opportunities and challenges
Source
Systems engineering - ISSN 1098-1241- (2025) p.