Items where authors include "Bogdanov, K."

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

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

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