TY - CONF T1 - SPYH-method: an Improvement in Testing of Finite-State Machines JO - 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). UR - http://eprints.whiterose.ac.uk/130747/ PY - 2018/07/19 AU - Soucha M AU - Bogdanov K ED - DO - DOI: 10.1109/ICSTW.2018.00050 PB - IEEE SN - 978-1-5386-6352-3 SP - 194 EP - 203 Y2 - 2024/12/22 ER -