@misc{18002,
  author = {Erblin Isaku and Christoph Laaber and Hassan Sartaj and Shaukat Ali and Thomas Schwitalla and Jan Nyg{\r a}rd},
  title = {LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine},
  year = {2025},
  journal = {ICST 2025, 18th IEEE International Conference on Software Testing, Verification and Validation},
}