91Ö±²¥

Journal articles

• Soucha M & Bogdanov K (2020) . Information and Software Technology.
• Soucha M & Bogdanov K (2019) . The Computer Journal.
• 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).
• Walkinshaw N, Bogdanov K, Holcombe M & Salahuddin S (2008) . J SOFTW MAINT EVOL-R, 20(4), 269-290.
• Salahuddin S, Bogdanov K & Walkinshaw N (2008) . 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) . 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) , Mining Software Specifications (pp. 59-83). CRC Press

Conference proceedings papers

• Soucha M & Bogdanov K (2018) . 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). (pp 194-203), 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)
• 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) . WCRE (pp 177-186)
• Walkinshaw N, Bogdanov K, Ali S & Holcombe M (2008) . SOFTWARE TESTING VERIFICATION & RELIABILITY, Vol. 18(2) (pp 99-121)
• 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 & 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) . 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 () . Fourth IEEE International Conference on Software Testing, Verification and Validation. Berlin, 22 March 2011 - 24 March 2011.