TY - COMP T1 - Causality-Driven Test Case Minimisation for Cyber-Physical Systems (Code) PY - -0001/11/30 AU - Foster M AU - POSKITT CM AU - Latimer N AU - Walkinshaw N AU - Somers R AU - Hierons R ED - DO - DOI: 10.15131/shef.data.32233797 Y2 - 2026/06/05 ER -