Neil Walkinshaw

According to our database, Neil Walkinshaw authored at least 75 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study.

Richard J. Somers, Neil Walkinshaw, Robert M. Hierons, Jackie Elliott, Ahmed Iqbal, Emma Walkinshaw

Softw. Test. Verification Reliab., March, 2025

2024

Testing Causality in Scientific Modelling Software.

Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner

ACM Trans. Softw. Eng. Methodol., January, 2024

Bounding Random Test Set Size with Computational Learning Theory.

Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons

Proc. ACM Softw. Eng., 2024

Learning EFSM Models with Registers in Guards.

Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão

CoRR, 2024

Autonomous Driving System Testing: Traffic Density Does Matter.

Guannan Lou, Donghwan Shin, Neil Walkinshaw, Robert M. Hierons

Proceedings of the Testing Software and Systems, 2024

Causal Test Adequacy.

Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

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

Richard J. Somers, James A. Douthwaite, David J. Wagg, Neil Walkinshaw, Robert M. Hierons

Inf. Softw. Technol., April, 2023

Modelling Second-Order Uncertainty in State Machines.

Neil Walkinshaw, Robert M. Hierons

IEEE Trans. Software Eng., 2023

Metamorphic Testing with Causal Graphs.

Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Active Inference of Extended Finite State Models of Software Systems.

Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw

Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.

Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw

Proceedings of the Formal Methods and Software Engineering, 2023

2022

Deep State Inference: Toward Behavioral Model Inference of Black-Box Software Systems.

Foozhan Ataiefard, Mohammad Jafar Mashhadi, Hadi Hemmati, Neil Walkinshaw

IEEE Trans. Software Eng., 2022

Reliable counterparts: efficiently testing causal relationships in digital twins.

Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Test case generation for agent-based models: A systematic literature review.

Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons

Inf. Softw. Technol., 2021

Behavioral Model Inference of Black-box Software using Deep Neural Networks.

Mohammad Jafar Mashhadi, Foozhan Ataiefard, Hadi Hemmati, Neil Walkinshaw

CoRR, 2021

Reverse-Engineering EFSMs with Data Dependencies.

Michael Foster, John Derrick, Neil Walkinshaw

Proceedings of the Testing Software and Systems, 2021

2020

Motivating Adult Learners by Introducing Programming Concepts with Scratch.

Maren Krafft, Gordon Fraser, Neil Walkinshaw

Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020

Reasoning about Uncertainty in Empirical Results.

Neil Walkinshaw, Martin J. Shepperd

Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

Improving Automated GUI Testing by Learning to Avoid Infeasible Tests.

Neil Walkinshaw

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Improving Scratch Programming with CRC-Card Design.

Sebastian Keller, Maren Krafft, Gordon Fraser, Neil Walkinshaw, Korbinian Otto, Barbara Sabitzer

Proceedings of the 14th Workshop in Primary and Secondary Computing Education, 2019

2018

Effectively Incorporating Expert Knowledge in Automated Software Remodularisation.

Mathew Hall, Neil Walkinshaw, Phil McMinn

IEEE Trans. Software Eng., 2018

Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits.

Basil Eljuse, Neil Walkinshaw

Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

How Do Automatically Generated Unit Tests Influence Software Maintenance?

Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Are 20% of files responsible for 80% of defects?

Neil Walkinshaw, Leandro L. Minku

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

Testing Functional Black-Box Programs Without a Specification.

Neil Walkinshaw

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017

Software Quality Assurance - Consistency in the Face of Complexity and Change

Neil Walkinshaw

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-319-64821-7, 2017

Using Segment-Based Alignment to Extract Packet Structures from Network Traces.

Othman Esoul, Neil Walkinshaw

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Uncertainty-Driven Black-Box Test Data Generation.

Neil Walkinshaw, Gordon Fraser

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Inferring extended finite state machine models from software executions.

Neil Walkinshaw, Ramsay Taylor, John Derrick

Empir. Softw. Eng., 2016

Finding Clustering Configurations to Accurately Infer Packet Structures from Network Data.

Othman Esoul, Neil Walkinshaw

CoRR, 2016

A Search Based Approach for Stress-Testing Integrated Circuits.

Basil Eljuse, Neil Walkinshaw

Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

Choreography-Based Analysis of Distributed Message Passing Programs.

Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Inferring Computational State Machine Models from Program Executions.

Neil Walkinshaw, Mathew Hall

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Data and Analysis Code for GP EFSM Inference.

Mathew Hall, Neil Walkinshaw

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

Assessing and generating test sets in terms of behavioural adequacy.

Gordon Fraser, Neil Walkinshaw

Softw. Test. Verification Reliab., 2015

Visualising software as a particle system.

Simon Scarle, Neil Walkinshaw

Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015

An evidential reasoning approach for assessing confidence in safety evidence.

Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Black-Box Test Generation from Inferred Models.

Petros Papadopoulos, Neil Walkinshaw

Proceedings of the 4th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2015

SEPIA: Search for Proofs Using Inferred Automata.

Thomas Gransden, Neil Walkinshaw, Rajeev Raman

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning.

Sunil Nair, Neil Walkinshaw, Tim Kelly

Proceedings of the Computer Safety, Reliability, and Security, 2014

Mining State-Based Models from Proof Corpora.

Thomas Gransden, Neil Walkinshaw, Rajeev Raman

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Establishing the Source Code Disruption Caused by Automated Remodularisation Tools.

Mathew Hall, Muhammad Ali Khojaye, Neil Walkinshaw, Phil McMinn

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure.

Neil Walkinshaw, Kirill Bogdanov

ACM Trans. Softw. Eng. Methodol., 2013

STAMINA: a competition to encourage the development and assessment of software model inference techniques.

Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont

Empir. Softw. Eng., 2013

Reverse-Engineering Software Behavior.

Neil Walkinshaw

Adv. Comput., 2013

Using evidential reasoning to make qualified predictions of software quality.

Neil Walkinshaw

Proceedings of the 9th International Conference on Predictive Models in Software Engineering, 2013

2012

Model-Based Testing and Model Inference.

Karl Meinke, Neil Walkinshaw

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Behaviourally Adequate Software Testing.

Gordon Fraser, Neil Walkinshaw

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Supervised software modularisation.

Mathew Hall, Neil Walkinshaw, Phil McMinn

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011

Assessing Test Adequacy for Black-Box Systems without Specifications.

Neil Walkinshaw

Proceedings of the Testing Software and Systems, 2011

A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications.

Salem Fawaz Adra, Mariam Kiran, Phil McMinn, Neil Walkinshaw

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010

TAIC-PART 2009 - Testing: Academic & Industrial Conference - Practice And Research Techniques: Special Section Editorial.

Leonardo Bottaci, Gregory M. Kapfhammer, Neil Walkinshaw

J. Syst. Softw., 2010

The Practical Assessment of Test Sets with Inductive Inference Techniques.

Neil Walkinshaw

Proceedings of the Testing, 2010

Increasing Functional Coverage by Inductive Testing: A Case Study.

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París

Proceedings of the Testing Software and Systems, 2010

Using compression algorithms to support the comprehension of program traces.

Neil Walkinshaw, Sheeva Afshan, Phil McMinn

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

Superstate identification for state machines using search-based clustering.

Mathew Hall, Phil McMinn, Neil Walkinshaw

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

Computing the Structural Difference between State-Based Models.

Kirill Bogdanov, Neil Walkinshaw

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.

Qiang Guo, John Derrick, Neil Walkinshaw

Proceedings of the Testing of Software and Communication Systems, 2009

Incrementally Discovering Testable Specifications from Program Executions.

Neil Walkinshaw, John Derrick

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Property-Based Testing - The ProTest Project.

John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.

Neil Walkinshaw, John Derrick, Qiang Guo

Proceedings of the FM 2009: Formal Methods, 2009

2008

Automated discovery of state transitions and their functions in source code.

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe

Softw. Test. Verification Reliab., 2008

Improving dynamic software analysis by applying grammar inference principles.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

J. Softw. Maintenance Res. Pract., 2008

Validation and discovery from computational biology models.

Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe

Biosyst., 2008

Inferring Finite-State Models with Temporal Constraints.

Neil Walkinshaw, Kirill Bogdanov

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Balanced FSM Generation for Empirical Studies.

Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Evaluation and Comparison of Inferred Regular Grammars.

Neil Walkinshaw, Kirill Bogdanov, Ken Johnson

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

2007

Partitioning object-oriented source code for inspections.

Neil Walkinshaw

PhD thesis, 2007

Reverse Engineering State Machines by Interactive Grammar Inference.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

A Hybrid Approach to Modeling Biological Systems.

Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Feature Location and Extraction using Landmarks and Barriers.

Neil Walkinshaw, Marc Roper, Murray Wood

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

2006

Identifying State Transitions and their Functions in Source Code.

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe

Proceedings of the Testing: Academia and Industry Conference, 2006

2005

Understanding Object-Oriented Source Code from the Behavioural Perspective.

Neil Walkinshaw, Marc Roper, Murray Wood

Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

Using Attribute Slicing to Refactor Large Classes.

Douglas Samuel Kirk, Marc Roper, Neil Walkinshaw

Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2003

The Java System Dependence Graph.

Neil Walkinshaw, Marc Roper, Murray Wood

Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003