Neil Walkinshaw

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 34

Top Venues

CoRR

ICSME

ICST

IEEE Trans. Software Eng.

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
Testing Causality in Scientific Modelling Software. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. CoRR (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
Learning EFSM Models with Registers in Guards. CoRR (2024)
Neil Walkinshaw, Robert M. Hierons
Modelling Second-Order Uncertainty in State Machines. IEEE Trans. Software Eng. 49 (5) (2023)
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
Active Inference of EFSMs Without Reset. ICFEM (2023)
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
Active Inference of Extended Finite State Models of Software Systems. ICGI (2023)
Richard J. Somers, James A. Douthwaite, David J. Wagg, Neil Walkinshaw, Robert M. Hierons
Digital-twin-based testing for cyber-physical systems: A systematic literature review. Inf. Softw. Technol. 156 (2023)
Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons
Metamorphic Testing with Causal Graphs. ICST (2023)
Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Reliable counterparts: efficiently testing causal relationships in digital twins. MoDELS (Companion) (2022)
Foozhan Ataiefard, Mohammad Jafar Mashhadi, Hadi Hemmati, Neil Walkinshaw
Deep State Inference: Toward Behavioral Model Inference of Black-Box Software Systems. IEEE Trans. Software Eng. 48 (12) (2022)
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
Testing Causality in Scientific Modelling Software. CoRR (2022)
Michael Foster, John Derrick, Neil Walkinshaw
Reverse-Engineering EFSMs with Data Dependencies. ICTSS (2021)
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Test case generation for agent-based models: A systematic literature review. Inf. Softw. Technol. 135 (2021)
Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons
Test case generation for agent-based models: A systematic literature review. CoRR (2021)
Mohammad Jafar Mashhadi, Foozhan Ataiefard, Hadi Hemmati, Neil Walkinshaw
Behavioral Model Inference of Black-box Software using Deep Neural Networks. CoRR (2021)
Neil Walkinshaw, Martin J. Shepperd
Reasoning about Uncertainty in Empirical Results. EASE (2020)
Maren Krafft, Gordon Fraser, Neil Walkinshaw
Motivating Adult Learners by Introducing Programming Concepts with Scratch. ECSEE (2020)
Neil Walkinshaw
Improving Automated GUI Testing by Learning to Avoid Infeasible Tests. AITest (2020)
Sebastian Keller, Maren Krafft, Gordon Fraser, Neil Walkinshaw, Korbinian Otto, Barbara Sabitzer
Improving Scratch Programming with CRC-Card Design. WiPSCE (2019)
Neil Walkinshaw, Leandro L. Minku
Are 20% of files responsible for 80% of defects? ESEM (2018)
Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser
How Do Automatically Generated Unit Tests Influence Software Maintenance? ICST (2018)
Mathew Hall, Neil Walkinshaw, Phil McMinn
Effectively Incorporating Expert Knowledge in Automated Software Remodularisation. IEEE Trans. Software Eng. 44 (7) (2018)
Basil Eljuse, Neil Walkinshaw
Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits. SSBSE (2018)
Neil Walkinshaw
Testing Functional Black-Box Programs Without a Specification. Machine Learning for Dynamic Software Analysis (2018)
Neil Walkinshaw, Gordon Fraser
Uncertainty-Driven Black-Box Test Data Generation. ICST (2017)
Othman Esoul, Neil Walkinshaw
Using Segment-Based Alignment to Extract Packet Structures from Network Traces. QRS (2017)
Othman Esoul, Neil Walkinshaw
Finding Clustering Configurations to Accurately Infer Packet Structures from Network Data. CoRR (2016)
Neil Walkinshaw, Mathew Hall
Inferring Computational State Machine Models from Program Executions. ICSME (2016)
Neil Walkinshaw, Ramsay Taylor, John Derrick
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21 (3) (2016)
Mathew Hall, Neil Walkinshaw
Data and Analysis Code for GP EFSM Inference. ICSME (2016)
Basil Eljuse, Neil Walkinshaw
A Search Based Approach for Stress-Testing Integrated Circuits. SSBSE (2016)
Neil Walkinshaw, Gordon Fraser
Uncertainty-Driven Black-Box Test Data Generation. CoRR (2016)
Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick
Choreography-Based Analysis of Distributed Message Passing Programs. PDP (2016)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
SEPIA: Search for Proofs Using Inferred Automata. CoRR (2015)
Gordon Fraser, Neil Walkinshaw
Assessing and generating test sets in terms of behavioural adequacy. Softw. Test. Verification Reliab. 25 (8) (2015)
Petros Papadopoulos, Neil Walkinshaw
Black-Box Test Generation from Inferred Models. RAISE@ICSE (2015)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
SEPIA: Search for Proofs Using Inferred Automata. CADE (2015)
Simon Scarle, Neil Walkinshaw
Visualising software as a particle system. VISSOFT (2015)
Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara
An evidential reasoning approach for assessing confidence in safety evidence. ISSRE (2015)
Sunil Nair, Neil Walkinshaw, Tim Kelly
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops (2014)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
Mining State-Based Models from Proof Corpora. CICM (2014)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
Mining State-Based Models from Proof Corpora. CoRR (2014)
Mathew Hall, Muhammad Ali Khojaye, Neil Walkinshaw, Phil McMinn
Establishing the Source Code Disruption Caused by Automated Remodularisation Tools. ICSME (2014)
Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Kirill Bogdanov, Pierre Dupont
STAMINA: a competition to encourage the development and assessment of software model inference techniques. Empir. Softw. Eng. 18 (4) (2013)
Neil Walkinshaw
Using evidential reasoning to make qualified predictions of software quality. PROMISE (2013)
Neil Walkinshaw, Ramsay Taylor, John Derrick
Inferring Extended Finite State Machine models from software executions. WCRE (2013)
Neil Walkinshaw, Kirill Bogdanov
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure. ACM Trans. Softw. Eng. Methodol. 22 (2) (2013)
Neil Walkinshaw
Reverse-Engineering Software Behavior. Adv. Comput. 91 (2013)
Gordon Fraser, Neil Walkinshaw
Behaviourally Adequate Software Testing. ICST (2012)
Karl Meinke, Neil Walkinshaw
Model-Based Testing and Model Inference. ISoLA (1) (2012)
Mathew Hall, Neil Walkinshaw, Phil McMinn
Supervised software modularisation. ICSM (2012)
Neil Walkinshaw
Assessing Test Adequacy for Black-Box Systems without Specifications. ICTSS (2011)
Salem Fawaz Adra, Mariam Kiran, Phil McMinn, Neil Walkinshaw
A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications. IEEE Congress on Evolutionary Computation (2011)
Mathew Hall, Phil McMinn, Neil Walkinshaw
Superstate identification for state machines using search-based clustering. GECCO (2010)
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París
Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS (2010)
Leonardo Bottaci, Gregory M. Kapfhammer, Neil Walkinshaw
TAIC-PART 2009 - Testing: Academic & Industrial Conference - Practice And Research Techniques: Special Section Editorial. J. Syst. Softw. 83 (12) (2010)
Neil Walkinshaw, Sheeva Afshan, Phil McMinn
Using compression algorithms to support the comprehension of program traces. WODA (2010)
Neil Walkinshaw
The Practical Assessment of Test Sets with Inductive Inference Techniques. TAIC PART (2010)
Kirill Bogdanov, Neil Walkinshaw
Computing the Structural Difference between State-Based Models. WCRE (2009)
Qiang Guo, John Derrick, Neil Walkinshaw
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES (2009)
John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
Property-Based Testing - The ProTest Project. FMCO (2009)
Neil Walkinshaw, John Derrick, Qiang Guo
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM (2009)
Neil Walkinshaw, John Derrick
Incrementally Discovering Testable Specifications from Program Executions. FMCO (2009)
Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe
Validation and discovery from computational biology models. Biosyst. 93 (1-2) (2008)
Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw
Balanced FSM Generation for Empirical Studies. ICST Workshops (2008)
Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe
Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. 18 (2) (2008)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. 20 (4) (2008)
Neil Walkinshaw, Kirill Bogdanov
Inferring Finite-State Models with Temporal Constraints. ASE (2008)
Neil Walkinshaw, Kirill Bogdanov, Ken Johnson
Evaluation and Comparison of Inferred Regular Grammars. ICGI (2008)
Neil Walkinshaw, Marc Roper, Murray Wood
Feature Location and Extraction using Landmarks and Barriers. ICSM (2007)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
Reverse Engineering State Machines by Interactive Grammar Inference. WCRE (2007)
Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw
A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing (2007)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe
Identifying State Transitions and their Functions in Source Code. TAIC PART (2006)
Douglas Samuel Kirk, Marc Roper, Neil Walkinshaw
Using Attribute Slicing to Refactor Large Classes. Beyond Program Slicing (2005)
Neil Walkinshaw, Marc Roper, Murray Wood
Understanding Object-Oriented Source Code from the Behavioural Perspective. IWPC (2005)
Neil Walkinshaw, Marc Roper, Murray Wood
The Java System Dependence Graph. SCAM (2003)

Neil Walkinshaw.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neil Walkinshaw