Neil Walkinshaw

Cited by

	All	Since 2016
Citations	1376	734
h-index	23	15
i10-index	32	21

200

100

150

2004200520062007200820092010201120122013201420152016201720182019202020215 10 15 23 25 62 51 76 57 95 93 82 114 128 188 167 126 9

Co-authors

Kirill BogdanovDepartment of Computer Science, The University of SheffieldVerified email at kirill-research.com
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Marc RoperMobiquitousLab, Computer and Information Sciences, University of Strathclyde, Glasgow, Scotland UKVerified email at cis.strath.ac.uk
Phil McMinnProfessor of Software Engineering, University of SheffieldVerified email at sheffield.ac.uk
Mike HolcombeUniversity of SheffieldVerified email at epigenesys.co.uk
Gordon FraserProfessor of Computer Science, University of PassauVerified email at uni-passau.de
Mathew HallUniversity of SheffieldVerified email at dcs.shef.ac.uk
Ramsay G. TaylorUniversity of SheffieldVerified email at sheffield.ac.uk
Bernard LambeauICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
Pierre DupontProfessor of Computer Science, ICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
Christophe DamasInstitut Paul LambinVerified email at ipl.be
Shaukat AliSimula Research LaboratoryVerified email at simula.no
Qiang GuoTeesside UniversityVerified email at tees.ac.uk
Tim KellyProfessor of High Integrity SystemsVerified email at york.ac.uk
Mariam KiranLawrence Berkeley National LaboratoryVerified email at es.net
Rajeev RamanProfessor, Department of Informatics, University of LeicesterVerified email at leicester.ac.uk
Jose Luis de la VaraSenior Researcher, Ramon y Cajal Fellow, University of Castilla-La Mancha, SpainVerified email at uclm.es
Francisco J. Romero-CamperoResearch Associate, Universidad de SevillaVerified email at us.es
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Lars-Åke FredlundUniversidad Politécnica de MadridVerified email at fi.upm.es

Neil Walkinshaw

Department of Computer Science, The University of Sheffield

Verified email at sheffield.ac.uk - Homepage

Software Testing Reverse Engineering Model Inference


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical Software Engineering 21 (3), 811-853, 2016	147	2016
Inferring finite-state models with temporal constraints N Walkinshaw, K Bogdanov Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008	125	2008
The Java system dependence graph N Walkinshaw, M Roper, M Wood Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE …, 2003	108	2003
Reverse engineering state machines by interactive grammar inference N Walkinshaw, K Bogdanov, M Holcombe, S Salahuddin Reverse Engineering, 2007. WCRE 2007. 14th Working Conference on, 209-218, 2007	104	2007
Increasing functional coverage by inductive testing: a case study N Walkinshaw, K Bogdanov, J Derrick, J Paris Testing Software and Systems, 126-141, 2010	55	2010
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	50	2013
Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo FM 2009: Formal Methods, 305-320, 2009	47	2009
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	46	2008
An evidential reasoning approach for assessing confidence in safety evidence S Nair, N Walkinshaw, T Kelly, JL de la Vara 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015	43	2015
Supervised software modularisation M Hall, N Walkinshaw, P McMinn 2012 28th IEEE International Conference on Software Maintenance (ICSM), 472-481, 2012	41	2012
A hybrid approach to modeling biological systems F Bernardini, M Gheorghe, FJ Romero-Campero, N Walkinshaw International Workshop on Membrane Computing, 138-159, 2007	35	2007
Property-Based Testing-The ProTest Project J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ... Formal Methods for Components and Objects, 250-271, 2010	33	2010
Feature location and extraction using landmarks and barriers N Walkinshaw, M Roper, M Wood Software Maintenance, 2007. ICSM 2007. IEEE International Conference on, 54-63, 2007	32	2007
Using compression algorithms to support the comprehension of program traces N Walkinshaw, S Afshan, P McMinn Proceedings of the Eighth International Workshop on Dynamic Analysis, 8-13, 2010	28	2010
Computing the structural difference between state-based models K Bogdanov, N Walkinshaw Reverse Engineering, 2009. WCRE'09. 16th Working Conference on, 177-186, 2009	28	2009
Understanding object-oriented source code from the behavioural perspective N Walkinshaw, M Roper, M Wood Program Comprehension, 2005. IWPC 2005. Proceedings. 13th International …, 2005	27	2005
Behaviourally adequate software testing G Fraser, N Walkinshaw 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	26	2012
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), 1-37, 2013	25	2013
Validation and discovery from computational biology models M Kiran, S Coakley, N Walkinshaw, P McMinn, M Holcombe Biosystems 93 (1-2), 141-150, 2008	25	2008
Assessing and generating test sets in terms of behavioural adequacy G Fraser, N Walkinshaw Software Testing, Verification and Reliability 25 (8), 749-780, 2015	23	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors