Neil Walkinshaw

Citée par

	Toutes	Depuis 2016
Citations	1312	718
indice h	21	15
indice i10	31	21

180

135

2004200520062007200820092010201120122013201420152016201720182019202020215 10 13 18 22 60 52 79 55 93 93 76 108 130 179 164 129 6

Coauteurs

Kirill BogdanovDepartment of Computer Science, The University of SheffieldAdresse e-mail validée de kirill-research.com
John DerrickUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Marc RoperMobiquitousLab, Computer and Information Sciences, University of Strathclyde, Glasgow, Scotland UKAdresse e-mail validée de cis.strath.ac.uk
Phil McMinnProfessor of Software Engineering, University of SheffieldAdresse e-mail validée de sheffield.ac.uk
Mike HolcombeUniversity of SheffieldAdresse e-mail validée de epigenesys.co.uk
Gordon FraserProfessor of Computer Science, University of PassauAdresse e-mail validée de uni-passau.de
Mathew HallUniversity of SheffieldAdresse e-mail validée de dcs.shef.ac.uk
Ramsay G. TaylorUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Bernard LambeauICTEAM, EPL, Université catholique de LouvainAdresse e-mail validée de uclouvain.be
Pierre DupontProfessor of Computer Science, ICTEAM, EPL, Université catholique de LouvainAdresse e-mail validée de uclouvain.be
Christophe DamasInstitut Paul LambinAdresse e-mail validée de ipl.be
Shaukat AliSimula Research LaboratoryAdresse e-mail validée de simula.no
Qiang GuoTeesside UniversityAdresse e-mail validée de tees.ac.uk
Tim KellyProfessor of High Integrity SystemsAdresse e-mail validée de york.ac.uk
Mariam KiranLawrence Berkeley National LaboratoryAdresse e-mail validée de es.net
Rajeev RamanProfessor, Department of Informatics, University of LeicesterAdresse e-mail validée de leicester.ac.uk
Jose Luis de la VaraSenior Researcher, Ramon y Cajal Fellow, University of Castilla-La Mancha, SpainAdresse e-mail validée de uclm.es
Francisco J. Romero-CamperoResearch Associate, Universidad de SevillaAdresse e-mail validée de us.es
Marian GheorgheUniversity of BradfordAdresse e-mail validée de bradford.ac.uk
Lars-Åke FredlundUniversidad Politécnica de MadridAdresse e-mail validée de fi.upm.es

Neil Walkinshaw

Department of Computer Science, The University of Sheffield

Adresse e-mail validée de sheffield.ac.uk - Page d'accueil

Software Testing Reverse Engineering Model Inference


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical Software Engineering 21 (3), 811-853, 2016	139	2016
Inferring finite-state models with temporal constraints N Walkinshaw, K Bogdanov Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated …, 2008	118	2008
The Java system dependence graph N Walkinshaw, M Roper, M Wood Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE …, 2003	107	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	98	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	52	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	51	2013
Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo FM 2009: Formal Methods, 305-320, 2009	45	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	42	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	41	2015
Supervised software modularisation M Hall, N Walkinshaw, P McMinn 2012 28th IEEE International Conference on Software Maintenance (ICSM), 472-481, 2012	38	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	32	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	31	2010
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
Behaviourally adequate software testing G Fraser, N Walkinshaw 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	25	2012
Computing the structural difference between state-based models K Bogdanov, N Walkinshaw Reverse Engineering, 2009. WCRE'09. 16th Working Conference on, 177-186, 2009	25	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	25	2005
Validation and discovery from computational biology models M Kiran, S Coakley, N Walkinshaw, P McMinn, M Holcombe Biosystems 93 (1-2), 141-150, 2008	24	2008
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	22	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs