Kirill Bogdanov

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 4

Top Venues

ICST Workshops

Inf. Softw. Technol.

ICTSS

ACM Trans. Softw. Eng. Methodol.

University of Sheffield, UK (PHD)

Education History

University of Sheffield, UK

PHD

Publications

Michal Soucha, Kirill Bogdanov
Observation Tree Approach: Active Learning Relying on Testing. Comput. J. 63 (9) (2020)
Michal Soucha, Kirill Bogdanov
State identification sequences from the splitting tree. Inf. Softw. Technol. 123 (2020)
Michal Soucha, Kirill Bogdanov
SPYH-Method: An Improvement in Testing of Finite-State Machines. ICST Workshops (2018)
Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
Graphical editing support for QuickCheck models. ICST Workshops (2015)
Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop (2014)
Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont
STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empir. Softw. Eng. 18 (4) (2013)
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) (2013)
Ramsay Taylor, Kirill Bogdanov, John Derrick
Automatic Inference of Erlang Module Behaviour. IFM (2013)
Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick
Using Behaviour Inference to Optimise Regression Test Sets. ICTSS (2012)
Kirill Bogdanov
Test Generation for X-machines with Non-terminal States and Priorities of Operations. ICST (2011)
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París
Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS (2010)
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. 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)
Kirill Bogdanov
Testing from X-Machine Specifications. Formal Methods and Testing (2008)
Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw
Balanced FSM Generation for Empirical Studies. ICST Workshops (2008)
Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe
Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. 18 (2) (2008)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. 20 (4) (2008)
Neil Walkinshaw, Kirill Bogdanov
Inferring Finite-State Models with Temporal Constraints. ASE (2008)
Neil Walkinshaw, Kirill Bogdanov, Ken Johnson
Evaluation and Comparison of Inferred Regular Grammars. ICGI (2008)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
Reverse Engineering State Machines by Interactive Grammar Inference. WCRE (2007)
Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak
Testing methods for X-machines: a review. Formal Aspects Comput. 18 (1) (2006)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe
Identifying State Transitions and their Functions in Source Code. TAIC PART (2006)
Kirill Bogdanov, Mike Holcombe
Refinement in statechart testing. Softw. Test. Verification Reliab. 14 (3) (2004)
Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
FORTEST: Formal Methods and Testing. COMPSAC (2002)
Kirill Bogdanov, Mike Holcombe
Statechart testing method for aircraft control systems. Softw. Test. Verification Reliab. 11 (1) (2001)
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
Automated Test Set Generation for Statecharts. FM-Trends (1998)

Kirill Bogdanov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kirill Bogdanov