@misc{indiciae713d9d7a3b13,
  title = {LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine},
  author = {Erblin Isaku and Christoph Laaber and Hassan Sartaj and Shaukat Ali and Thomas Schwitalla and Jan F. Nygård},
  year = {2025},
  url = {https://arxiv.org/abs/2404.03664},
  note = {Source identifier: 2404.03664}
}