TY  - JOUR

T1  - Reactive model-based testing of cyclic systems

JO  - ACM Transactions on Computational Logic

PY  - 2026/03/03

AU  - Cavalcanti A

AU  - Hierons R

ED  - 

Y2  - 2026/03/14

ER  -