Kirill Bogdanov

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