Kirill Bogdanov
Kirill Bogdanov
Department of Computer Science, The University of Sheffield
Verified email at kirill-research.com - Homepage
TitleCited byYear
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 9, 2009
4042009
Inferring finite-state models with temporal constraints
N Walkinshaw, K Bogdanov
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
1042008
Reverse engineering state machines by interactive grammar inference
N Walkinshaw, K Bogdanov, M Holcombe, S Salahuddin
14th Working Conference on Reverse Engineering (WCRE 2007), 209-218, 2007
842007
Statechart testing method for aircraft control systems
K Bogdanov, M Holcombe
Software Testing Verification and Reliability 11 (1), 39-54, 2001
732001
Increasing functional coverage by inductive testing: a case study
N Walkinshaw, K Bogdanov, J Derrick, J Paris
IFIP International Conference on Testing Software and Systems, 126-141, 2010
502010
FORTEST: Formal methods and testing
JP Bowen, K Bogdanov, JA Clark, M Harman, RM Hierons, P Krause
Computer Software and Applications Conference, 2002. COMPSAC 2002 …, 2002
492002
STAMINA: a competition to encourage the development and assessment of software model inference techniques
N Walkinshaw, B Lambeau, C Damas, K Bogdanov, P Dupont
Empirical software engineering 18 (4), 791-824, 2013
472013
Empir Software Eng DOI 10.1007/s10664-012-9210-3 STAMINA: a competition to encourage the development and assessment of software model inference techniques
N Walkinshaw, B Lambeau, C Damas, K Bogdanov, P Dupont, S Morasca, ...
47*
Automated test set generation for statecharts
K Bogdanov, M Holcombe, H Singh
International Workshop on Current Trends in Applied Formal Methods, 107-121, 1998
441998
Automated discovery of state transitions and their functions in source code
N Walkinshaw, K Bogdanov, S Ali, M Holcombe
Software Testing, Verification and Reliability 18 (2), 99-121, 2008
382008
Automated testing of Harel's statecharts
K Bogdanov
University of Sheffield, 2000
372000
Testing methods for X-machines: a review
K Bogdanov, M Holcombe, F Ipate, L Seed, S Vanak
Formal Aspects of Computing 18 (1), 3-30, 2006
352006
Computing the structural difference between state-based models
K Bogdanov, N Walkinshaw
2009 16th Working Conference on Reverse Engineering, 177-186, 2009
252009
Automated comparison of state-based software models in terms of their language and structure
N Walkinshaw, K Bogdanov
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (2), 13, 2013
222013
A framework for the competitive evaluation of model inference techniques
N Walkinshaw, K Bogdanov, C Damas, B Lambeau, P Dupont
Proceedings of the First International Workshop on Model Inference In …, 2010
212010
Improving dynamic software analysis by applying grammar inference principles
N Walkinshaw, K Bogdanov, M Holcombe, S Salahuddin
Journal of Software Maintenance and Evolution: Research and Practice 20 (4 …, 2008
212008
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
International Colloquium on Grammatical Inference, 252-265, 2008
192008
Functional test generation for extreme programming
M Holcombe, K Bogdanov, M Gheorghe
Second International Conference on extreme Programming and Flexible …, 2001
192001
Using behaviour inference to optimise regression test sets
R Taylor, M Hall, K Bogdanov, J Derrick
IFIP International Conference on Testing Software and Systems, 184-199, 2012
152012
Working together: Formal methods and testing
K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, ...
ACM Computing Surveys (December 2003), 2003
132003
The system can't perform the operation now. Try again later.
Articles 1–20