LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule EngineAuthorsE. Isaku, C. Laaber, H. Sartaj, S. Ali, T. Schwitalla and J. NygårdStatusPublishedPublication typeProceedings RefereedYear of publication2025JournalICST 2025, 18th IEEE International Conference on Software Testing, Verification and ValidationPublisherIEEEURLhttps://ieeexplore.ieee.org/document/10989025DOI10.1109/ICST62969.2025.10989025Citation key18002Google Scholar BibTex