TY  - JOUR

T1  - Testing using CSP Models: Time, Inputs, and Outputs.

JO  - ACM Trans. Comput. Log.

PY  - 2023/04/01

AU  - Baxter J

AU  - Cavalcanti A

AU  - Gazda M

AU  - Hierons RM

ED  - 

VL  - 24

SP  - 17:1

EP  - 17:1

Y2  - 2024/12/22

ER  -