TY  - JOUR

T1  - Causality-Driven Test Case Minimisation for Cyber-Physical Systems

JO  - ACM Transactions on Software Engineering and Methodology

PY  - 2026/05/10

AU  - Foster M

AU  - Poskitt C

AU  - Latimer N

AU  - Walkinshaw N

AU  - Somers R

AU  - Hierons R

ED  - 

PB  - Association for Computing Machinery (ACM)

Y2  - 2026/05/16

ER  -