Publications
Configuration Testing of an Artificial Pancreas System Using a Digital Twin (pre-print).
Reliable counterparts: efficiently testing causal relationships in digital twins.
Digital-twin-based testing for cyber-physical systems: A systematic literature review.