TY  - JOUR

T1  - Reactive model-based testing of cyclic systems

JO  - ACM Transactions on Computational Logic

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

PY  - 2026/03/27

AU  - Cavalcanti A

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1145/3801960

PB  - Association for Computing Machinery (ACM)

Y2  - 2026/05/01

ER  -