TY  - JOUR

T1  - Testing using CSP models: time, inputs, and outputs

JO  - ACM Transactions on Computational Logic

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

PY  - 2023/01/28

AU  - Baxter J

AU  - Cavalcanti A

AU  - Gazda M

AU  - Hierons R

ED  - 

DO  - DOI: 10.1145/3572837

PB  - Association for Computing Machinery (ACM)

VL  - 24

IS  - 2

Y2  - 2025/11/05

ER  -