Neil Walkinshaw

87 papers A* 1A 14B 6C 9Journal 29Unranked 26

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