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: 3.

Article

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

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

This list was generated on Mon Oct 14 06:57:44 2019 BST.