Dr Neil Walkinshaw
School of Computer Science
Senior Lecturer in Testing
Inclusive Computing Lead (CIC)
Member of the AI x Software Engineering & Testing research group
Full contact details
School of Computer Science
Regent Court (CS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Dr. Neil Walkinshaw is a Senior Lecturer in the ASET group. He is interested in testing or fuzzing "hard-to-test" systems such as computational models or cyber-physical systems. Recent work has involved the application of Causal Inference techniques to establish and test Metamorphic properties, using Subjective Logic to reason about uncertainty in state-based software systems, and using asymptotic properties of ML algorithms to reason about test saturation.
- Research interests
-
Dr Walkinshaw's research and teaching focus is on software quality assurance. His research has a particular emphasis on “black-box” components - software units that lack documentation and cannot be scrutinised internally.
He specialises in applying Machine Learning and other data analysis algorithms to the specific activities of testing, reverse-engineering, and safety-case assessment.
- Publications
-
There has been a problem showing this information. Please try again later.
- Grants
-
- CITCoM: Casual Inference for Testing of Computational Models, EPSRC, 01/2021 - 12/2025, £670,838, as PI
- StaMInA: A Novel Competition to Drive the Comparative Evaluation of State Machine Inference Approaches, EPSRC, 06/2009 - 06/2012, £19,771, as Co-PI
- Reverse Engineering State Machine Hierarchies by Grammar Inference (REGI), EPSRC, 04/2009 to 09/2012, £315,209, as Researcher Co-PI
- Professional activities and memberships
-
Member of the Testing research group