Dr Kirill Bogdanov

Journal articles

• Soucha M & Bogdanov K (2020) State identification sequences from the splitting tree. Information and Software Technology. View this article in WRRO
• Soucha M & Bogdanov K (2019) Observation tree approach : active learning relying on testing. The Computer Journal. 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). View this article in WRRO
• 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.
• 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.
• 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.

Chapters

• Walkinshaw N & Bogdanov K (2011) Adapting Grammar Inference Techniques to Mine State Machines, Mining Software Specifications (pp. 59-83). CRC Press

Conference proceedings papers

• 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), 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)
• Simons AJH, Stannett MP, Bogdanov KE & Holcombe WML (2012) 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)
• Walkinshaw N, Bogdanov K, Derrick J & Paris 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, 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 (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 & 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, 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)
• 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)
• Stannett MP, Simons A, Bogdanov K & Holcombe W () Method of Object Testing, Integration and Verification. FORTEST Workshop on testing. York, 13 September 2002.
• 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.