Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Isaku, Erblin, Laaber, Christoph, Sartaj, Hassan, Ali, Shaukat, Schwitalla, Thomas, Nygård, Jan F.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Testing Medical Rules Web Services in Practice
by: Laaber, Christoph, et al.
Published: (2024)

Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
by: Isaku, Erblin, et al.
Published: (2025)

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
by: Isaku, Erblin, et al.
Published: (2026)

Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
by: Isaku, Erblin, et al.
Published: (2025)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
by: Sartaj, Hassan, et al.
Published: (2024)

Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)

Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
by: Sartaj, Hassan, et al.
Published: (2024)

Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
by: Sartaj, Hassan, et al.
Published: (2025)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
by: Oldfield, Noah H., et al.
Published: (2024)

Bloch Vector Assertions for Debugging Quantum Programs
by: Oldfield, Noah H., et al.
Published: (2025)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice
by: Muqeet, Asmar, et al.
Published: (2024)

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
by: Wang, Xinyi, et al.
Published: (2024)

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
by: Sartaj, Hassan, et al.
Published: (2026)

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
by: Sartaj, Hassan, et al.
Published: (2024)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
by: Sartaj, Hassan, et al.
Published: (2025)

Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)

Efficient Test Data Generation for MC/DC with OCL and Search
by: Sartaj, Hassan, et al.
Published: (2024)

Quantum Approximate Optimization Algorithm for Test Case Optimization
by: Wang, Xinyi, et al.
Published: (2023)

Test Case Minimization with Quantum Annealers
by: Wang, Xinyi, et al.
Published: (2023)

Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
by: Hyun, Sangwon, et al.
Published: (2025)

Instruction-Driven Game Engine: A Poker Case Study
by: Wu, Hongqiu, et al.
Published: (2024)

Automating a Complete Software Test Process Using LLMs: An Automotive Case Study
by: Wang, Shuai, et al.
Published: (2025)

Search-Based Quantum Program Testing via Commuting Pauli String
by: Muqeet, Asmar, et al.
Published: (2026)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
by: Wang, Xinyi, et al.
Published: (2025)

Software Engineering for Self-Adaptive Robotics: A Research Agenda
by: Sartaj, Hassan, et al.
Published: (2025)

Mitigating Noise in Quantum Software Testing Using Machine Learning
by: Muqeet, Asmar, et al.
Published: (2023)

RuleFlow : Generating Reusable Program Optimizations with LLMs
by: Singh, Avaljot, et al.
Published: (2026)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
by: Wu, Jiahui, et al.
Published: (2025)

Metamorphic Testing of Vision-Language Action-Enabled Robots
by: Valle, Pablo, et al.
Published: (2026)

AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study
by: Smolic, Ema, et al.
Published: (2026)

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
by: Wu, Jiahui, et al.
Published: (2025)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
by: Xue, Zhiyi, et al.
Published: (2026)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
by: Saurabh, Prasun, et al.
Published: (2026)

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study
by: Chand, Sivajeet, et al.
Published: (2026)

On the Effectiveness of LLMs for Manual Test Verifications
by: Peixoto, Myron David Lucena Campos, et al.
Published: (2024)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
by: Japke, Nils, et al.
Published: (2025)