Kirill Bogdanov

According to our database, Kirill Bogdanov authored at least 27 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

State identification sequences from the splitting tree.

Michal Soucha, Kirill Bogdanov

Inf. Softw. Technol., 2020

Observation Tree Approach: Active Learning Relying on Testing.

Michal Soucha, Kirill Bogdanov

Comput. J., 2020

2018

SPYH-Method: An Improvement in Testing of Finite-State Machines.

Michal Soucha, Kirill Bogdanov

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2015

Graphical editing support for QuickCheck models.

Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Synapse: automatic behaviour inference and implementation comparison for Erlang.

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure.

Neil Walkinshaw, Kirill Bogdanov

ACM Trans. Softw. Eng. Methodol., 2013

STAMINA: a competition to encourage the development and assessment of software model inference techniques.

Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont

Empir. Softw. Eng., 2013

Automatic Inference of Erlang Module Behaviour.

Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Using Behaviour Inference to Optimise Regression Test Sets.

Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick

Proceedings of the Testing Software and Systems, 2012

2011

Test Generation for X-machines with Non-terminal States and Priorities of Operations.

Kirill Bogdanov

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Increasing Functional Coverage by Inductive Testing: A Case Study.

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París

Proceedings of the Testing Software and Systems, 2010

2009

Using formal specifications to support testing.

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

ACM Comput. Surv., 2009

Computing the Structural Difference between State-Based Models.

Kirill Bogdanov, Neil Walkinshaw

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

2008

Automated discovery of state transitions and their functions in source code.

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe

Softw. Test. Verification Reliab., 2008

Improving dynamic software analysis by applying grammar inference principles.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

J. Softw. Maintenance Res. Pract., 2008

Inferring Finite-State Models with Temporal Constraints.

Neil Walkinshaw, Kirill Bogdanov

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Balanced FSM Generation for Empirical Studies.

Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Evaluation and Comparison of Inferred Regular Grammars.

Neil Walkinshaw, Kirill Bogdanov, Ken Johnson

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

Testing from X-Machine Specifications.

Kirill Bogdanov

Proceedings of the Formal Methods and Testing, 2008

2007

Reverse Engineering State Machines by Interactive Grammar Inference.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

2006

Testing methods for X-machines: a review.

Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak

Formal Aspects Comput., 2006

Identifying State Transitions and their Functions in Source Code.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe

Proceedings of the Testing: Academia and Industry Conference, 2006

2004

Refinement in statechart testing.

Kirill Bogdanov, Mike Holcombe

Softw. Test. Verification Reliab., 2004

2002

FORTEST: Formal Methods and Testing.

Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Statechart testing method for aircraft control systems.

Kirill Bogdanov, Mike Holcombe

Softw. Test. Verification Reliab., 2001

2000

Automated testing of Harel's statecharts.

Kirill Bogdanov

PhD thesis, 2000

1998

Automated Test Set Generation for Statecharts.

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

Proceedings of the Applied Formal Methods, 1998