Items where authors include "Soucha, M."
Article
Soucha, M. and Bogdanov, K. (2020) Observation tree approach : active learning relying on testing. The Computer Journal, 63 (9). pp. 1298-1310. ISSN 0010-4620
Soucha, M. and Bogdanov, K. (2020) State identification sequences from the splitting tree. Information and Software Technology, 123. 106297. ISSN 0950-5849
Proceedings Paper
Soucha, M. and Bogdanov, K. (2018) SPYH-method: an Improvement in Testing of Finite-State Machines. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Advances in Model Based Testing (A-MOST) 2018, 13 Apr 2018, Västerås, Sweden. IEEE , pp. 194-203. ISBN 978-1-5386-6352-3