Neil Walkinshaw

Citado por

	Total	Desde 2019
Citas	1986	896
Índice h	27	18
Índice i10	42	28

200

100

150

2004200520062007200820092010201120122013201420152016201720182019202020212022202320245 10 16 23 25 59 54 78 56 95 93 90 116 143 176 154 139 135 147 126 191

Acceso público

Ver todo

21 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
Robert HieronsProfessor, The University of SheffieldDirección de correo verificada de sheffield.ac.uk
Gordon FraserProfessor of Computer Science, University of PassauDirección de correo verificada de uni-passau.de
Mike HolcombeEmeritus Professor, University of Sheffield, UKDirección de correo verificada de sheffield.ac.uk
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
Ramsay G. TaylorUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Michael FosterUniversity Of SheffieldDirección de correo verificada de sheffield.ac.uk
Tim KellyProfessor of High Integrity SystemsDirección de correo verificada de york.ac.uk
Richard SomersUniversity of SheffieldDirección de correo verificada de sheffield.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
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
José Miguel RojasUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk

Seguir

Neil Walkinshaw

School 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	228	2016
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
The Java system dependence graph N Walkinshaw, M Roper, M Wood Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE …, 2003	132	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	110	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	66	2013
Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo FM 2009: Formal Methods, 305-320, 2009	63	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	62	2010
Supervised software modularisation M Hall, N Walkinshaw, P McMinn 2012 28th IEEE International Conference on Software Maintenance (ICSM), 472-481, 2012	59	2012
Digital-twin-based testing for cyber–physical systems: A systematic literature review RJ Somers, JA Douthwaite, DJ Wagg, N Walkinshaw, RM Hierons Information and Software Technology 156, 107145, 2023	58	2023
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	56	2015
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
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	47	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	41	2013
Uncertainty-driven black-box test data generation N Walkinshaw, G Fraser 2017 IEEE International Conference on Software Testing, Verification and …, 2017	40	2017
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
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	37	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	37	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	35	2015
Behaviourally adequate software testing G Fraser, N Walkinshaw 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	32	2012
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	32	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