Kirill Bogdanov
Kirill Bogdanov
Department of Computer Science, The University of Sheffield
Verified email at kirill-research.com - Homepage
Title
Cited by
Cited by
Year
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
4252009
Inferring finite-state models with temporal constraints
N Walkinshaw, K Bogdanov
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
1252008
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
1042007
Statechart testing method for aircraft control systems
K Bogdanov, M Holcombe
Software Testing Verification and Reliability 11 (1), 39-54, 2001
792001
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
572010
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
522013
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, ...
52*
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
512002
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
472008
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
442006
Automated test set generation for statecharts
K Bogdanov, M Holcombe, H Singh
International Workshop on Current Trends in Applied Formal Methods, 107-121, 1998
431998
Automated testing of Harel's statecharts
K Bogdanov
University of Sheffield, 2000
402000
Computing the structural difference between state-based models
K Bogdanov, N Walkinshaw
2009 16th Working Conference on Reverse Engineering, 177-186, 2009
282009
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
252013
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
242010
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
232008
Functional test generation for extreme programming
M Holcombe, K Bogdanov, M Gheorghe
Second International Conference on extreme Programming and Flexible …, 2001
212001
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
International Colloquium on Grammatical Inference, 252-265, 2008
202008
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
172012
Working together: Formal methods and testing
K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, ...
ACM Computing Surveys (December 2003), 2003
152003
The system can't perform the operation now. Try again later.
Articles 1–20