@inproceedings{inproceedings, title = {{SPYH-method: an Improvement in Testing of Finite-State Machines}}, publisher = {{IEEE}}, url = {{http://eprints.whiterose.ac.uk/130747/ }}, year = {{2018}}, month = {{7}}, author = {{Soucha M and Bogdanov K}}, doi = {{10.1109/ICSTW.2018.00050}}, isbn = {{978-1-5386-6352-3}}, journal = {{2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).}}, pages = {{194-203}}, note = {{Accessed on 2025/09/06}}}