Neil Walkinshaw - Concepedia

Author

Neil Walkinshaw

University of Sheffield ORCID

Also Known As

N. Walkinshaw, Neil Walkinshaw, Walkinshaw, N., Walkinshaw, Neil, Walkinshaw, Niel

104

Publications

1.4K

Citations

H-Index

105

Concepts

All Affiliations

University of Sheffield University of Leicester University of Passau University of Strathclyde UCLouvain

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	29	996
2	Language Studies	3	3	108
3	Business	1	1	11
4	Education	1	1	12
5	Management	1	1	35

Neil Walkinshaw

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Inferring extended finite state machine models from software executions Neil Walkinshaw, Ramsay Taylor, John Derrick Empirical Software Engineering EngineeringRuntime VerificationProgram AnalysisAutomated ReasoningVerification	2015	128
Inferring Finite-State Models with Temporal Constraints Neil Walkinshaw, Kirill Bogdanov EngineeringVerificationSoftware EngineeringModel CheckingSoftware Analysis	2008	92
Digital-twin-based testing for cyber–physical systems: A systematic literature review Richard Somers, James A. Douthwaite, David Wagg, Information and Software Technology EngineeringDigital TwinningDigital TransformationSmart SystemsCyber Monitoring	2022	91
Reverse Engineering State Machines by Interactive Grammar Inference Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Proceedings - Working Conference on Reverse Engineering Software MaintenanceSyntactic ParsingEngineeringVerificationSoftware Engineering	2007	76
The Java system dependence graph Neil Walkinshaw, Marc Roper, Murray Wood Software MaintenanceEngineeringJava LanguageProgram Dependence GraphSoftware Engineering	2004	66
STAMINA: a competition to encourage the development and assessment of software model inference techniques Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Empirical Software Engineering	2012	48
An evidential reasoning approach for assessing confidence in safety evidence Sunil Nair, Neil Walkinshaw, Tim Kelly, Safety CaseEngineeringVerificationSafety ScienceInjury Prevention	2015	38
Uncertainty-Driven Black-Box Test Data Generation Neil Walkinshaw, Gordon Fraser Artificial IntelligenceEngineeringMachine LearningVerificationTest Data Generation	2017	35
How Do Automatically Generated Unit Tests Influence Software Maintenance? Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Software MaintenanceReliabilityEngineeringTest-driven DevelopmentProgram Analysis	2018	35
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure Neil Walkinshaw, Kirill Bogdanov ACM Transactions on Software Engineering and Methodology Software MaintenanceSequential BehaviorEngineeringState-based Software ModelsSoftware Systems	2013	33

Page 1