Kirill Bogdanov

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

Ramsay Taylor, Kirill Bogdanov, John Derrick: Automatic Inference of Erlang Module Behaviour. IFM 2013: 253-267

Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick: Using Behaviour Inference to Optimise Regression Test Sets. ICTSS 2012: 184-199

Kirill Bogdanov: Test Generation for X-machines with Non-terminal States and Priorities of Operations. ICST 2011: 130-139

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris: Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS 2010: 126-141

Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2) (2009)

Kirill Bogdanov, Neil Walkinshaw: Computing the Structural Difference between State-Based Models. WCRE 2009: 177-186

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin: Improving dynamic software analysis by applying grammar inference principles. Journal of Software Maintenance 20(4): 269-290 (2008)

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe: Automated discovery of state transitions and their functions in source code. Softw. Test., Verif. Reliab. 18(2): 99-121 (2008)

Kirill Bogdanov: Testing from X-Machine Specifications. Formal Methods and Testing 2008: 184-208

Neil Walkinshaw, Kirill Bogdanov, Ken Johnson: Evaluation and Comparison of Inferred Regular Grammars. ICGI 2008: 252-265

Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw: Balanced FSM Generation for Empirical Studies. ICST Workshops 2008: 371-375

Neil Walkinshaw, Kirill Bogdanov: Inferring Finite-State Models with Temporal Constraints. ASE 2008: 248-257

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin: Reverse Engineering State Machines by Interactive Grammar Inference. WCRE 2007: 209-218

Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak: Testing methods for X-machines: a review. Formal Asp. Comput. 18(1): 3-30 (2006)

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe: Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58

Kirill Bogdanov, Mike Holcombe: Refinement in statechart testing. Softw. Test., Verif. Reliab. 14(3): 189-211 (2004)

Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104

Kirill Bogdanov, Mike Holcombe: Statechart testing method for aircraft control systems. Softw. Test., Verif. Reliab. 11(1): 39-54 (2001)

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh: Automated Test Set Generation for Statecharts. FM-Trends 1998: 107-121