Kirill Bogdanov
Kirill Bogdanov
Department of Computer Science, The University of Sheffield
Adresse e-mail validée de kirill-research.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
4152009
Inferring finite-state models with temporal constraints
N Walkinshaw, K Bogdanov
Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008
1182008
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
982007
Statechart testing method for aircraft control systems
K Bogdanov, M Holcombe
Software Testing Verification and Reliability 11 (1), 39-54, 2001
752001
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
522010
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
512013
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
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, ...
51*
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
422008
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
392006
Automated testing of Harel's statecharts
K Bogdanov
University of Sheffield, 2000
382000
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
Computing the structural difference between state-based models
K Bogdanov, N Walkinshaw
2009 16th Working Conference on Reverse Engineering, 177-186, 2009
252009
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
222008
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
Evaluation and comparison of inferred regular grammars
N Walkinshaw, K Bogdanov, K Johnson
International Colloquium on Grammatical Inference, 252-265, 2008
202008
Functional test generation for extreme programming
M Holcombe, K Bogdanov, M Gheorghe
Second International Conference on extreme Programming and Flexible …, 2001
202001
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
162012
Working together: Formal methods and testing
K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, ...
ACM Computing Surveys (December 2003), 2003
142003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20