Dr Kirill Bogdanov

Journal articles

• Soucha M & Bogdanov K (2020) Observation tree approach : active learning relying on testing. The Computer Journal, 63(9), 1298-1310. View this article in WRRO
• Soucha M & Bogdanov K (2020) State identification sequences from the splitting tree. Information and Software Technology, 123. View this article in WRRO
• Walkinshaw N & Bogdanov K (2013) Automated comparison of state-based software models in terms of their language and structure. ACM Transactions on Software Engineering and Methodology, 22(2).
• Walkinshaw N, Lambeau B, Damas C, Dupont P & Bogdanov K (2012) STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empirical Software Engineering, 1-34.
• Walkinshaw N, Bogdanov K, Damas C, Lambeau B & Dupont P (2010) A framework for the competitive evaluation of model inference techniques. Miit 2010 Proceedings of the 1st International Workshop on Model Inference in Testing Held in Conjunction with ACM SIGSOFT International Symposium on Software Testing and Analysis Issta 2010, 1-9.
• Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P , Luttgen G et al (2009) Using Formal Specifications to Support Testing. ACM COMPUT SURV, 41(2).
• Salahuddin S, Bogdanov K & Walkinshaw N (2008) Balanced FSM generation for empirical studies. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop Icstw 08, 371-375.
• Walkinshaw N, Bogdanov K, Holcombe M & Salahuddin S (2008) Improving dynamic software analysis by applying grammar inference principles. J SOFTW MAINT EVOL-R, 20(4), 269-290.
• Bogdanov K, Holcombe M, Ipate F, Seed L & Vanak S (2006) Testing methods for X-machines: a review. FORM ASP COMPUT, 18(1), 3-30.
• Bogdanov K & Holcombe M (2001) Statechart testing method for aircraft control systems. SOFTW TEST VERIF REL, 11(1), 39-54.

Book chapters

• Walkinshaw N & Bogdanov K (2011) Adapting Grammar Inference Techniques to Mine State Machines, Chapman & Hall/CRC Data Mining and Knowledge Discovery Series (pp. 59-83). CRC Press

Conference proceedings

• Soucha M & Bogdanov K (2018) SPYH-method: an Improvement in Testing of Finite-State Machines. 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp 194-203). Västerås, Sweden, 13 April 2018 - 13 April 2018. View this article in WRRO
• Arts T, Bogdanov K, Gerdes A & Hughes J (2015) Graphical editing support for QuickCheck models. 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 13 April 2015 - 17 April 2015.
• Lamela Seijas P, Thompson S, Taylor R, Bogdanov K & Derrick J (2014) Synapse: Automatic behaviour inference and implementation comparison for Erlang. Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang (pp 73-74), 5 September 2014 - 5 September 2014.
• Taylor R, Bogdanov K & Derrick J (2013) Automatic inference of erlang module behaviour. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, Vol. 7940 LNCS (pp 253-267)
• Taylor R, Hall M, Bogdanov K & Derrick J (2012) Using behaviour inference to optimise regression test sets. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, Vol. 7641 LNCS (pp 184-199)
• Walkinshaw N, Bogdanov K, Derrick J & París J (2010) Increasing Functional Coverage by Inductive Testing: A Case Study.. ICTSS, Vol. 6435 (pp 126-141)
• Bogdanov K & Walkinshaw N (2009) Computing the Structural Difference between State-Based Models.. WCRE (pp 177-186)
• Walkinshaw N, Bogdanov K & Johnson K (2008) Evaluation and Comparison of Inferred Regular Grammars. GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, Vol. 5278 (pp 252-265)
• Walkinshaw N & Bogdanov K (2008) Inferring Finite-State Models with Temporal Constraints.. ASE (pp 248-257)
• Bogdanov K (2008) Testing from X-Machine Specifications.. Formal Methods and Testing, Vol. 4949 (pp 184-208)
• Walkinshaw N, Bogdanov K, Ali S & Holcombe M (2008) Automated discovery of state transitions and their functions in source code. SOFTWARE TESTING VERIFICATION & RELIABILITY, Vol. 18(2) (pp 99-121)
• Walkinshaw N, Bogdanov K, Holcombe M & Salahuddin S (2007) Reverse engineering state machines by interactive grammar inference. 14TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS (pp 209-218)
• Walkinshaw N, Bogdanov K & Holcombe M (2006) Identifying state transitions and their functions in source code. TAIC PART - Testing: Academic & Industrial Conference - Practice and Research Techniques, Proceedings (pp 49-58)
• Bogdanov K & Holcombe M (2004) Refinement in statechart testing. SOFTWARE TESTING VERIFICATION & RELIABILITY, Vol. 14(3) (pp 189-211)
• Simons AJH, Stannett MP, Bogdanov KE & Holcombe WML (2002) Plug and play safely: Rules for behavioural compatibility. Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002 (pp 263-268). Cambridge, MA, USA, 4 November 2002 - 4 November 2002. View this article in WRRO
• Bowen JP, Bogdanov K, Clark JA, Harman M, Hierons RM & Krause P (2002) FORTEST: Formal methods and testing. 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS (pp 91-101)
• Bogdanov K, Holcombe M & Singh H (1999) Automated test set generation for statecharts. APPLIED FORMAL METHODS - FM-TRENDS 98, Vol. 1641 (pp 107-121)
• Bogdanov KE () Test generation for X-machines with non-terminal states and priorities of operations. Fourth IEEE International Conference on Software Testing, Verification and Validation. Berlin, 22 March 2011 - 24 March 2011.
• Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002.