| 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 | 483 | 2009 |
| Inferring finite-state models with temporal constraints N Walkinshaw, K Bogdanov Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008 | 140 | 2008 |
| 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 | 110 | 2007 |
| Statechart testing method for aircraft control systems K Bogdanov, M Holcombe Software Testing Verification and Reliability 11 (1), 39-54, 2001 | 84 | 2001 |
| 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 | 66 | 2013 |
| 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, ... | 66* | |
| 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 | 62 | 2010 |
| 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 | 54 | 2002 |
| 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 | 51 | 2008 |
| 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 | 47 | 2006 |
| Automated test set generation for statecharts K Bogdanov, M Holcombe, H Singh International Workshop on Current Trends in Applied Formal Methods, 107-121, 1998 | 44 | 1998 |
| 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 | 41 | 2013 |
| Automated testing of Harel's statecharts K Bogdanov University of Sheffield, 2000 | 40 | 2000 |
| Computing the structural difference between state-based models K Bogdanov, N Walkinshaw 2009 16th Working Conference on Reverse Engineering, 177-186, 2009 | 32 | 2009 |
| 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 | 30 | 2010 |
| 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 | 24 | 2008 |
| 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 | 22 | 2012 |
| Evaluation and comparison of inferred regular grammars N Walkinshaw, K Bogdanov, K Johnson International Colloquium on Grammatical Inference, 252-265, 2008 | 21 | 2008 |
| Functional test generation for extreme programming M Holcombe, K Bogdanov, M Gheorghe Second International Conference on extreme Programming and Flexible …, 2001 | 20 | 2001 |
| Working together: Formal methods and testing K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, ... ACM Computing Surveys (December 2003), 2003 | 15 | 2003 |
