TY  - JOUR

T1  - Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences

JO  - IEEE Transactions on Software Engineering

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

PY  - 2016/11/01

AU  - Hierons RM

AU  - Turker UC

ED  - 

DO  - DOI: 10.1109/tse.2016.2539964

PB  - IEEE

VL  - 42

IS  - 11

SP  - 1077

EP  - 1091

Y2  - 2025/11/05

ER  -