@article{article, title = {{Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences}}, publisher = {{IEEE}}, url = {{http://eprints.whiterose.ac.uk/147597/ }}, year = {{2016}}, month = {{11}}, author = {{Hierons RM and Turker UC}}, doi = {{10.1109/tse.2016.2539964}}, volume = {{42}}, journal = {{IEEE Transactions on Software Engineering}}, issue = {{11}}, pages = {{1077-1091}}, note = {{Accessed on 2025/08/16}}}