Concepedia

Neil Walkinshaw

NW

32

Publications

1.1K

Citations

21

H-Index

2004

Active since

Affiliations

University of Sheffield(Current)

University of Leicester

University of Passau

University of Strathclyde

UCLouvain

Neil Walkinshaw is an author at University of Sheffield specializing in engineering, software testing, and software engineering.

Top concepts

EngineeringSoftware TestingSoftware AnalysisProgram AnalysisComputer ScienceSoftware EngineeringSoftware DesignFormal MethodsFormal VerificationVerification

Publications per year

2004–2023

32

Publications

32

Inferring extended finite state machine models from software executions

Neil Walkinshaw, Ramsay Taylor, John Derrick · Empirical Software Engineering · 2015 · 128 citations

Engineering, Runtime Verification, Program Analysis +11

Inferring Finite-State Models with Temporal Constraints

Neil Walkinshaw, Kirill Bogdanov · 2008 · 92 citations

Engineering, Verification, Software Engineering +20

Digital-twin-based testing for cyber–physical systems: A systematic literature review

Richard Somers, James A. Douthwaite, David Wagg et al. · Information and Software Technology · 2022 · 91 citations · Full text

Engineering, Digital Twinning, Digital Transformation +17

Reverse Engineering State Machines by Interactive Grammar Inference

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe et al. · Proceedings - Working Conference on Reverse Engineering · 2007 · 76 citations

Software Maintenance, Syntactic Parsing, Engineering +28

The Java system dependence graph

Neil Walkinshaw, Marc Roper, Murray Wood · 2004 · 66 citations

Software Maintenance, Engineering, Java Language +17

Rows per page

1–5 of 32