Automated Test Set Generation for Statecharts. - Kirill Bogdanov 002; Mike Holcombe; Harbhajan Singh (FM-Trends, 1998)

Automated testing of Harel's statecharts. - Kirill Bogdanov 002 (2000)

Statechart testing method for aircraft control systems. - Kirill Bogdanov 002; Mike Holcombe (Softw. Test. Verification Reliab., 2001)

FORTEST: Formal Methods and Testing. - Jonathan P. Bowen; Kirill Bogdanov 002; John A. Clark; Mark Harman; Robert M. Hierons; Paul J. Krause (COMPSAC, 2002)

Refinement in statechart testing. - Kirill Bogdanov 002; Mike Holcombe (Softw. Test. Verification Reliab., 2004)

Identifying State Transitions and their Functions in Source Code. - Neil Walkinshaw; Kirill Bogdanov 002; Mike Holcombe (TAIC PART, 2006)

Testing methods for X-machines: a review. - Kirill Bogdanov 002; Mike Holcombe; Florentin Ipate; L. Seed; Salim K. Vanak (Formal Aspects Comput., 2006)

Reverse Engineering State Machines by Interactive Grammar Inference. - Neil Walkinshaw; Kirill Bogdanov 002; Mike Holcombe; Sarah Salahuddin (WCRE, 2007)

Testing from X-Machine Specifications. - Kirill Bogdanov 002 (Formal Methods and Testing, 2008)

Evaluation and Comparison of Inferred Regular Grammars. - Neil Walkinshaw; Kirill Bogdanov 002; Ken Johnson (ICGI, 2008)

Balanced FSM Generation for Empirical Studies. - Sarah Salahuddin; Kirill Bogdanov 002; Neil Walkinshaw (ICST Workshops, 2008)

Inferring Finite-State Models with Temporal Constraints. - Neil Walkinshaw; Kirill Bogdanov 002 (ASE, 2008)

Improving dynamic software analysis by applying grammar inference principles. - Neil Walkinshaw; Kirill Bogdanov 002; Mike Holcombe; Sarah Salahuddin (J. Softw. Maintenance Res. Pract., 2008)

Automated discovery of state transitions and their functions in source code. - Neil Walkinshaw; Kirill Bogdanov 002; Shaukat Ali 001; Mike Holcombe (Softw. Test. Verification Reliab., 2008)

Computing the Structural Difference between State-Based Models. - Kirill Bogdanov 002; Neil Walkinshaw (WCRE, 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Increasing Functional Coverage by Inductive Testing: A Case Study. - Neil Walkinshaw; Kirill Bogdanov 002; John Derrick; Javier París (ICTSS, 2010)

Test Generation for X-machines with Non-terminal States and Priorities of Operations. - Kirill Bogdanov 002 (ICST, 2011)

Using Behaviour Inference to Optimise Regression Test Sets. - Ramsay Taylor; Mathew Hall; Kirill Bogdanov 002; John Derrick (ICTSS, 2012)

Automatic Inference of Erlang Module Behaviour. - Ramsay Taylor; Kirill Bogdanov 002; John Derrick (IFM, 2013)

STAMINA: a competition to encourage the development and assessment of software model inference techniques. - Neil Walkinshaw; Bernard Lambeau; Christophe Damas; Kirill Bogdanov 002; Pierre Dupont (Empir. Softw. Eng., 2013)

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure. - Neil Walkinshaw; Kirill Bogdanov 002 (ACM Trans. Softw. Eng. Methodol., 2013)

Synapse: automatic behaviour inference and implementation comparison for Erlang. - Pablo Lamela Seijas; Simon J. Thompson; Ramsay Taylor; Kirill Bogdanov 002; John Derrick (Erlang Workshop, 2014)

Graphical editing support for QuickCheck models. - Thomas Arts; Kirill Bogdanov 002; Alex Gerdes; John Hughes 001 (ICST Workshops, 2015)

SPYH-Method: An Improvement in Testing of Finite-State Machines. - Michal Soucha; Kirill Bogdanov 002 (ICST Workshops, 2018)

Observation Tree Approach: Active Learning Relying on Testing. - Michal Soucha; Kirill Bogdanov 002 (Comput. J., 2020)

State identification sequences from the splitting tree. - Michal Soucha; Kirill Bogdanov 002 (Inf. Softw. Technol., 2020)