Neil Walkinshaw

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	2024	782
H-index	27	16
i10-index	42	23

220

110

165

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 10 16 24 25 59 55 77 56 93 94 90 115 136 177 157 143 136 142 125 205 28

גישה ציבורית

הצג הכל

22 מאמרים

2 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Kirill BogdanovDepartment of Computer Science, The University of Sheffieldכתובת אימייל מאומתת בדומיין kirill-research.com
John DerrickUniversity of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Marc RoperMobiquitousLab, Computer and Information Sciences, University of Strathclyde, Glasgow, Scotland UKכתובת אימייל מאומתת בדומיין cis.strath.ac.uk
Robert HieronsProfessor, The University of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Phil McMinnProfessor of Software Engineering, University of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Gordon FraserProfessor of Computer Science, University of Passauכתובת אימייל מאומתת בדומיין uni-passau.de
Mike HolcombeEmeritus Professor, University of Sheffield, UKכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Mathew HallUniversity of Sheffieldכתובת אימייל מאומתת בדומיין dcs.shef.ac.uk
Murray WoodUniversity of Strathclydeכתובת אימייל מאומתת בדומיין strath.ac.uk
Ramsay G. TaylorUniversity of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Michael FosterUniversity Of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Richard SomersUniversity of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Tim KellyProfessor of High Integrity Systemsכתובת אימייל מאומתת בדומיין york.ac.uk
Shaukat AliSimula Research Laboratoryכתובת אימייל מאומתת בדומיין simula.no
Bernard LambeauICTEAM, EPL, Université catholique de Louvainכתובת אימייל מאומתת בדומיין uclouvain.be
Pierre DupontProfessor of Computer Science, ICTEAM, EPL, Université catholique de Louvainכתובת אימייל מאומתת בדומיין uclouvain.be
Christophe DamasInstitut Paul Lambinכתובת אימייל מאומתת בדומיין ipl.be
Qiang GuoTeesside Universityכתובת אימייל מאומתת בדומיין tees.ac.uk
Jose Luis de la VaraAssociate Professor, University of Castilla-La Mancha, Spainכתובת אימייל מאומתת בדומיין uclm.es
José Miguel RojasUniversity of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk

עקוב אחר

Neil Walkinshaw

School of Computer Science, The University of Sheffield

כתובת אימייל מאומתת בדומיין sheffield.ac.uk - דף הבית

Software Testing Model Inference Causal Inference Uncertainty


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Inferring extended finite state machine models from software executions‏ N Walkinshaw, R Taylor, J Derrick‏ Empirical software engineering 21, 811-853, 2016‏	233	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‏	135	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
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‏	70	2023
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‏	64	2013
Increasing functional coverage by inductive testing: a case study‏ N Walkinshaw, K Bogdanov, J Derrick, J Paris‏ Testing Software and Systems, 126-141, 2010‏	63	2010
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
Supervised software modularisation‏ M Hall, N Walkinshaw, P McMinn‏ 2012 28th IEEE International Conference on Software Maintenance (ICSM), 472-481, 2012‏	60	2012
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‏	48	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‏	43	2013
Uncertainty-driven black-box test data generation‏ N Walkinshaw, G Fraser‏ 2017 IEEE International Conference on Software Testing, Verification and …, 2017‏	41	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
Computing the structural difference between state-based models‏ K Bogdanov, N Walkinshaw‏ Reverse Engineering, 2009. WCRE'09. 16th Working Conference on, 177-186, 2009‏	33	2009
Behaviourally adequate software testing‏ G Fraser, N Walkinshaw‏ 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012‏	32	2012

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים