Dr Kirill Bogdanov

About

Dr Kirill Bogdanov finished his PhD in Computer Science, in the area of specification-based software testing, in April 2000. The work focused on bringing the achievements of the X-machine testing method, for testing software against its specification in Statecharts.Before becoming a lecturer, Dr Bogdanov worked as a research associate from Oct '99 until Aug 2000 in the Department of Computer Science, The University of Sheffield, on the EPSRC-funded MOTIVE project, testing object-oriented systems using an X-machine method.

Selected publications

• Soucha M & Bogdanov K (2020) Observation tree approach : active learning relying on testing. The Computer Journal, 63(9), 1298-1310. View this article in WRRO
• Soucha M & Bogdanov K (2020) State identification sequences from the splitting tree. Information and Software Technology, 123. View this article in WRRO
• Walkinshaw N & Bogdanov K (2013) Automated comparison of state-based software models in terms of their language and structure. ACM Transactions on Software Engineering and Methodology, 22(2).
• Walkinshaw N, Lambeau B, Damas C, Dupont P & Bogdanov K (2012) STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empirical Software Engineering, 1-34.
• Walkinshaw N, Bogdanov K, Damas C, Lambeau B & Dupont P (2010) A framework for the competitive evaluation of model inference techniques. Miit 2010 Proceedings of the 1st International Workshop on Model Inference in Testing Held in Conjunction with ACM SIGSOFT International Symposium on Software Testing and Analysis Issta 2010, 1-9.
• Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P , Luttgen G et al (2009) Using Formal Specifications to Support Testing. ACM COMPUT SURV, 41(2).
• Salahuddin S, Bogdanov K & Walkinshaw N (2008) Balanced FSM generation for empirical studies. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop Icstw 08, 371-375.
• Walkinshaw N, Bogdanov K, Holcombe M & Salahuddin S (2008) Improving dynamic software analysis by applying grammar inference principles. J SOFTW MAINT EVOL-R, 20(4), 269-290.
• Bogdanov K, Holcombe M, Ipate F, Seed L & Vanak S (2006) Testing methods for X-machines: a review. FORM ASP COMPUT, 18(1), 3-30.
• Bogdanov K & Holcombe M (2001) Statechart testing method for aircraft control systems. SOFTW TEST VERIF REL, 11(1), 39-54.