TY  - JOUR

T1  - Causality-driven test case minimisation for cyber-physical systems

JO  - ACM Transactions on Software Engineering and Methodology

UR  - https://eprints.whiterose.ac.uk/id/eprint/240970

PY  - 2026/05/21

AU  - Foster M

AU  - Poskitt CM

AU  - Latimer NR

AU  - Walkinshaw N

AU  - Somers R

AU  - Hierons RM

ED  - 

PB  - Association for Computing Machinery (ACM)

Y2  - 2026/05/27

ER  -