Neil Walkinshaw

Citado por

	Total	Desde 2019
Citas	1830	747
Índice h	26	17
Índice i10	39	23

180

135

2004200520062007200820092010201120122013201420152016201720182019202020212022202320245 10 16 23 25 59 54 78 56 93 96 89 115 139 178 156 140 123 141 133 53

Acceso público

Ver todo

18 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Kirill BogdanovDepartment of Computer Science, The University of SheffieldDirección de correo verificada de kirill-research.com
John DerrickUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Marc RoperMobiquitousLab, Computer and Information Sciences, University of Strathclyde, Glasgow, Scotland UKDirección de correo verificada de cis.strath.ac.uk
Phil McMinnProfessor of Software Engineering, University of SheffieldDirección de correo verificada de sheffield.ac.uk
Mike HolcombeEmeritus Professor, University of Sheffield, UKDirección de correo verificada de sheffield.ac.uk
Gordon FraserProfessor of Computer Science, University of PassauDirección de correo verificada de uni-passau.de
Mathew HallUniversity of SheffieldDirección de correo verificada de dcs.shef.ac.uk
Murray WoodUniversity of StrathclydeDirección de correo verificada de strath.ac.uk
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Ramsay G. TaylorUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Tim KellyProfessor of High Integrity SystemsDirección de correo verificada de york.ac.uk
Shaukat AliSimula Research LaboratoryDirección de correo verificada de simula.no
Bernard LambeauICTEAM, EPL, Université catholique de LouvainDirección de correo verificada de uclouvain.be
Pierre DupontProfessor of Computer Science, ICTEAM, EPL, Université catholique de LouvainDirección de correo verificada de uclouvain.be
Christophe DamasInstitut Paul LambinDirección de correo verificada de ipl.be
Michael FosterUniversity Of SheffieldDirección de correo verificada de sheffield.ac.uk
Qiang GuoTeesside UniversityDirección de correo verificada de tees.ac.uk
Jose Luis de la VaraAssociate Professor, University of Castilla-La Mancha, SpainDirección de correo verificada de uclm.es
Richard SomersUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Rajeev RamanProfessor, Department of Computing and Mathematical Sciences, University of LeicesterDirección de correo verificada de leicester.ac.uk

Seguir

Neil Walkinshaw

Department of Computer Science, The University of Sheffield

Dirección de correo verificada de sheffield.ac.uk - Página principal

Software Testing Reverse Engineering Model Inference


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical Software Engineering 21, 811-853, 2016	212	2016
Inferring finite-state models with temporal constraints N Walkinshaw, K Bogdanov Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008	136	2008
The Java system dependence graph N Walkinshaw, M Roper, M Wood Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE …, 2003	128	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	109	2007
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	62	2013
Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo FM 2009: Formal Methods, 305-320, 2009	62	2009
Increasing functional coverage by inductive testing: a case study N Walkinshaw, K Bogdanov, J Derrick, J Paris Testing Software and Systems, 126-141, 2010	61	2010
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	55	2015
Supervised software modularisation M Hall, N Walkinshaw, P McMinn 2012 28th IEEE International Conference on Software Maintenance (ICSM), 472-481, 2012	55	2012
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	50	2008
How do automatically generated unit tests influence software maintenance? S Shamshiri, JM Rojas, JP Galeotti, N Walkinshaw, G Fraser 2018 IEEE 11th international conference on software testing, verification …, 2018	40	2018
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	37	2013
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	37	2010
Uncertainty-driven black-box test data generation N Walkinshaw, G Fraser 2017 IEEE International Conference on Software Testing, Verification and …, 2017	36	2017
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	36	2007
A hybrid approach to modeling biological systems F Bernardini, M Gheorghe, FJ Romero-Campero, N Walkinshaw Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki …, 2007	36	2007
Assessing and generating test sets in terms of behavioural adequacy G Fraser, N Walkinshaw Software Testing, Verification and Reliability 25 (8), 749-780, 2015	33	2015
Computing the structural difference between state-based models K Bogdanov, N Walkinshaw Reverse Engineering, 2009. WCRE'09. 16th Working Conference on, 177-186, 2009	31	2009
Behaviourally adequate software testing G Fraser, N Walkinshaw 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	30	2012
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores