Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Soucha, M. and Bogdanov, K. (2020) State identification sequences from the splitting tree. Information and Software Technology. ISSN 0950-5849

Soucha, M. and Bogdanov, K. (2019) Observation tree approach : active learning relying on testing. The Computer Journal. ISSN 0010-4620

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

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

This list was generated on Mon Jul 6 01:21:03 2020 BST.