@inproceedings{17778, 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 = {2024}, journal = {ArXiv}, url = {https://arxiv.org/abs/2404.03664}, }