Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study. - Richard J. Somers; Neil Walkinshaw; Robert M. Hierons; Jackie Elliott; Ahmed Iqbal; Emma Walkinshaw (Softw. Test. Verification Reliab., 2025)