@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 2024/12/23}}}