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årdStatusAcceptedPublication typeProceedings RefereedYear of publication2025JournalICST 2025, 18th IEEE International Conference on Software Testing, Verification and ValidationPublisher-Citation key18002Google Scholar BibTex