SPYH-Method: An Improvement in Testing of Finite-State Machines. - Michal Soucha; Kirill Bogdanov 002 (ICST Workshops, 2018)

Testing and active learning of resettable finite-state machines. - Michal Soucha (2019)

Observation Tree Approach: Active Learning Relying on Testing. - Michal Soucha; Kirill Bogdanov 002 (Comput. J., 2020)

State identification sequences from the splitting tree. - Michal Soucha; Kirill Bogdanov 002 (Inf. Softw. Technol., 2020)