Dr Kirill Bogdanov

PhD

School of Computer Science

Lecturer

Undergraduate Progression Tutor (Y3&4)

Kirill Bogdanov profile photo
Profile picture of Kirill Bogdanov profile photo
k.bogdanov@sheffield.ac.uk
+44 114 222 1847
Regent Court (DCS)

Full contact details

Dr Kirill Bogdanov
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Profile

Dr Kirill Bogdanov finished his PhD in Computer Science, in the area of specification-based software testing, in April 2000. The work focused on bringing the achievements of the X-machine testing method, for testing software against its specification in Statecharts.

Before becoming a lecturer, Dr Bogdanov worked as a research associate from Oct '99 until Aug 2000 in the Department of Computer Science, The University of Sheffield, on the EPSRC-funded MOTIVE project, testing object-oriented systems using an X-machine method.

Research interests

In traditional software development, specification and testing do not play an important role. In particular, changes to software code do not normally get reflected in a specification. At the same time, specification-based testing methods are very important for maintaing software quality, for identification of missing or incorrectly-implemented behaviour.

K.Bogdanov`s research aims to develop a method and a tool to take an incomplete state-based specification, hints for developers as to how it relates to code and both: 

  1. extract an up-to-date specification
  2. generate tests from it.

A number of existing specification based testing methods rely on a program under test being built with testing in mind, and lose a lot in power if this is not true. In his work, observation of program behaviour under test is used to make up for the missing information about a system, making it more amenable to testing using these methods.

More recent work focuses on passive inference of software models from logs, where it is not possible to attempt experiments on a system being reverse-engineered.

The experimental framework is being maintained as a free .

Publications

Journal articles

  • Soucha M & Bogdanov K (2020) . The Computer Journal, 63(9), 1298-1310.
  • Soucha M & Bogdanov K (2020) . Information and Software Technology, 123.
  • Walkinshaw N & Bogdanov K (2013) . ACM Transactions on Software Engineering and Methodology, 22(2).
  • Walkinshaw N, Lambeau B, Damas C, Dupont P & Bogdanov K (2012) . Empirical Software Engineering, 1-34.
  • Walkinshaw N, Bogdanov K, Damas C, Lambeau B & Dupont P (2010) . 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) . ACM COMPUT SURV, 41(2).
  • Salahuddin S, Bogdanov K & Walkinshaw N (2008) . 2008 IEEE International Conference on Software Testing Verification and Validation Workshop Icstw 08, 371-375.
  • Walkinshaw N, Bogdanov K, Holcombe M & Salahuddin S (2008) . J SOFTW MAINT EVOL-R, 20(4), 269-290.
  • Bogdanov K, Holcombe M, Ipate F, Seed L & Vanak S (2006) . 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) , Chapman & Hall/CRC Data Mining and Knowledge Discovery Series (pp. 59-83). CRC Press

Conference proceedings

  • Soucha M & Bogdanov K (2018) . 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.
  • Arts T, Bogdanov K, Gerdes A & Hughes J (2015) . 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) . 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) . 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) . 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) . 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) . 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) . 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) . 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.
  • 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 () . 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.
Research group

research group

 research group

Grants
  • (REGI), EPSRC, 04/2009 to 09/2012, £315,209, as PI
  • StaMInA: , EPSRC, 07/2009 to 06/2012, £19,772, as PI
  • Automated abstraction of code into a state-based specification and test generation, EPSRC, 10/2005 to 12/2008, £206,347, as PI
Professional activities and memberships

IEEE Member

Links

Foundations of Computation research group