@inproceedings{inproceedings, title  = {{SPYH-method: an Improvement in Testing of Finite-State Machines}},

 publisher = {{IEEE}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/130747 https://doi.org/10.1109/ICSTW.2018.00050 }},

 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/11/02}}}