TY  - RPRT
TI  - LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
AU  - Erblin Isaku
AU  - Christoph Laaber
AU  - Hassan Sartaj
AU  - Shaukat Ali
AU  - Thomas Schwitalla
AU  - Jan F. Nygård
PY  - 2025
UR  - https://arxiv.org/abs/2404.03664
ID  - 2404.03664
ER  -