TY - JOUR T1 - Configuration Testing of an Artificial Pancreas System using a Digital Twin: An Evaluative Case Study JO - Software Testing Verification and Reliability PY - 2025/01/10 AU - Hierons R ED - DO - DOI: 10.1002/stvr.70000 PB - Wiley VL - 35 IS - 2 Y2 - 2025/07/16 ER -