Login / Signup

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine.

Erblin IsakuChristoph LaaberHassan SartajShaukat AliThomas SchwitallaJan F. Nygård
Published in: CoRR (2024)
Keyphrases
  • rule engine
  • medical diagnosis
  • rule base
  • case study
  • cardiovascular disease
  • production rules
  • heart disease
  • decision making
  • xml documents
  • dynamic programming
  • domain specific
  • business rules