| 2025 | EASE | Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study. | Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild |
| 2024 | ICST | Causal Test Adequacy. | Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw |
| 2023 | ICFEM | Active Inference of EFSMs Without Reset. | Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simo, Germn Vega, Neil Walkinshaw |
| 2023 | ICST | Metamorphic Testing with Causal Graphs. | Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons |
| 2022 | MODELS | Reliable counterparts: efficiently testing causal relationships in digital twins. | Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons |
| 2020 | EASE | Reasoning about Uncertainty in Empirical Results. | Neil Walkinshaw, Martin J. Shepperd |
| 2018 | ESEM | Are 20% of files responsible for 80% of defects? | Neil Walkinshaw, Leandro L. Minku |
| 2018 | ICST | How Do Automatically Generated Unit Tests Influence Software Maintenance? | Sina Shamshiri, Jos Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser |
| 2018 | SSBSE | Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits. | Basil Eljuse, Neil Walkinshaw |
| 2017 | ICST | Uncertainty-Driven Black-Box Test Data Generation. | Neil Walkinshaw, Gordon Fraser |
| 2017 | QRS | Using Segment-Based Alignment to Extract Packet Structures from Network Traces. | Othman Esoul, Neil Walkinshaw |
| 2016 | PDP | Choreography-Based Analysis of Distributed Message Passing Programs. | Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick |
| 2016 | SSBSE | A Search Based Approach for Stress-Testing Integrated Circuits. | Basil Eljuse, Neil Walkinshaw |
| 2015 | CADE | SEPIA: Search for Proofs Using Inferred Automata. | Thomas Gransden, Neil Walkinshaw, Rajeev Raman |
| 2015 | ICSE | Black-Box Test Generation from Inferred Models. | Petros Papadopoulos, Neil Walkinshaw |
| 2015 | ISSRE | An evidential reasoning approach for assessing confidence in safety evidence. | Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara |
| 2015 | VISSOFT | Visualising software as a particle system. | Simon Scarle, Neil Walkinshaw |
| 2014 | SAFECOMP | Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. | Sunil Nair, Neil Walkinshaw, Tim Kelly |
| 2012 | ICST | Behaviourally Adequate Software Testing. | Gordon Fraser, Neil Walkinshaw |
| 2012 | ISoLA | Model-Based Testing and Model Inference. | Karl Meinke, Neil Walkinshaw |
| 2011 | CEC | A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications. | Salem Fawaz Adra, Mariam Kiran, Phil McMinn, Neil Walkinshaw |
| 2010 | GECCO | Superstate identification for state machines using search-based clustering. | Mathew Hall, Phil McMinn, Neil Walkinshaw |
| 2010 | ISSTA | Using compression algorithms to support the comprehension of program traces. | Neil Walkinshaw, Sheeva Afshan, Phil McMinn |
| 2009 | FM | Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. | Neil Walkinshaw, John Derrick, Qiang Guo |
| 2008 | ICST | Balanced FSM Generation for Empirical Studies. | Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw |
| 2003 | SCAM | The Java System Dependence Graph. | Neil Walkinshaw, Marc Roper, Murray Wood |