Model-Based Testing of Railway Interlocking Systems. - Alessandro Cimatti; Shaker Khandaker; Fitsum Meshesha Kifetew; Lorenzo Leone; Davide Prandi; Giuseppe Scaglione; Angelo Susi; Orazio Turboli (ISoLA (5), 2024)

AugmenTest: Enhancing Tests with LLM-Driven Oracles. - Shaker Mahmud Khandaker; Fitsum Meshesha Kifetew; Davide Prandi; Angelo Susi (ICST, 2025)