2024

  1. Bounding Random Test Set Size with Computational Learning Theory Walkinshaw, Neil, Foster, Michael, Rojas, José Miguel, and Hierons, Robert M. In FSE 2024
  2. Do maternal haemodynamics have a causal influence on treatment for gestational diabetes? Anness, Abigail, Foster, Michael, Walkinshaw, Neil, Khalil, Asma, Robinson, Thompson, Webb, David, and Mousa, Hatem Obstetrics and Gynaecology 2024
  3. Causal Test Adequacy Foster, Michael, Wild, Christopher, Hierons, Robert, and Walkinshaw, Neil In International Conference on Software Testing 2024

2023

  1. Testing Causality in Scientific Modelling Software Clark, Andrew, Foster, Michael, Prifling, Benedict, Walkinshaw, Neil, Hierons, Robert, Schmidt, Volker, and Turner, Robert ACM Transactions on Software Engineering and Methodology 2023 [Paper]
  2. Active Inference of EFSMs Without Reset Foster, Michael, Groz, Roland, Oriat, Catherine, Simao, Adenilso, Vega, Germán, and Walkinshaw, Neil In International Conference on Formal Engineering Methods 2023
  3. Active Inference of Extended Finite State Models of Software Systems Groz, Roland, Oriat, Catherine, Vega, Germán, Simao, Adenilso, Foster, Michael, and Walkinshaw, Neil In International Conference on Grammatical Inference 2023
  4. Modelling Second-Order Uncertainty in State Machines Walkinshaw, Neil, and Hierons, Robert M IEEE Transactions on Software Engineering 2023 [Paper]
  5. Metamorphic Testing with Causal Graphs Clark, Andrew, Foster, Michael, Walkinshaw, Neil, and Hierons, Robert M In 16th IEEE International Conference on Software Testing, Verification and Validation (ICST’23) 2023 [Paper]
  6. Digital-twin-based testing for cyber-physical systems: A systematic literature review Somers, Richard, Douthwaite, James, Wagg, David, Walkinshaw, Neil, and Hierons, Robert M Information and Software Technology 2023 [Paper]

2022

  1. Reliable counterparts: efficiently testing causal relationships in digital twins Somers, Richard, Clark, Andrew, Walkinshaw, Neil, and Hierons, Robert M In 2nd International Workshop on Model-Driven Engineering of Digital Twins (ModDiT’22) 2022
  2. Deep State Inference: Toward Behavioural Model Inference of Black Box Software Systems Ataiefard, Foozhan, Mashhadi, Mohammad, Hemmati, Hadi, and Walkinshaw, Neil IEEE Transactions on Software Engineering 2022 [Paper]
  3. Maternal hemodynamics and neonatal birthweight in pregnancies complicated by gestational diabetes: New insights from a novel causal inference analysis modelling Anness, Abigail, Clark, Andrew, Melhuish, Kess, Leone, Francesco, Osman, Waseem, Walkinshaw, Neil, Khalil, Asma, Robinson, Thompson, Webb, David, and Mousa, Hatem Ultrasound in Obstetrics and Gynecology 2022 [Paper]

2021

  1. Reverse-Engineering EFSMs with Data Dependencies Foster, Michael, Walkinshaw, Neil, and Derrick, John Proceedings of the 33rd IFIP International Conference on Testing Software and Systems (ICTSS’21) 2021 [Paper]
  2. Test case generation for agent-based models: A systematic literature review Clark, Andrew, Walkinshaw, Neil, and Hierons, Robert M Information and Software Technology 2021 [Paper]

2020

  1. Motivating Adult Learners by Introducing Programming Concepts with Scratch Krafft, Maren, Fraser, Gordon, and Walkinshaw, Neil In Proceedings of the European Conference on Software Engineering Education 2020 [Paper]
  2. Reasoning about Uncertainty in Empirical Results Walkinshaw, Neil, and Shepperd, Martin In Proceedings of the 24th International Conference on Empirical Software Engineering (EASE’20) 2020 [Paper]
  3. Improving Automated GUI Testing by Learning to Avoid Infeasible Tests and Walkinshaw, Neil In Proceedings of the Second IEEE International Conference on Artificial Intelligence Testing (AITEST’20) 2020 [Paper]

2019

  1. Improving Scratch Programming with CRC-Card Design Keller, Sebastian, Krafft, Maren, Fraser, Gordon, Walkinshaw, Neil, Otto, Korbinian, and Sabitzer, Barbara In Proceedings of the 14th Workshop in Primary and Secondary Computing Education 2019

2018

  1. Are 20% of Files Responsible for 80% of Defects? Walkinshaw, Neil, and Minku, Leandro In International Symposium on Empirical Software Engineering and Measurement (ESEM’18) 2018 [Paper]
  2. Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits Eljuse, Basil, and Walkinshaw, Neil In International Symposium on Search Based Software Engineering (SSBSE’18) 2018
  3. Testing Functional Black-Box Programs Without a Specification and Walkinshaw, Neil In Machine Learning for Dynamic Software Analysis: Potentials and Limits 2018
  4. Predicting Postpartum Hemorrhage (PPH) during Cesarean Delivery Using the Leicester PPH Predict Tool: A Retrospective Cohort Study Dunkerton, Suzanna E, Jeve, Yadava B, Walkinshaw, Neil, Breslin, Eamonn, and Singhal, Tanu American journal of perinatology 2018
  5. Effectively incorporating expert knowledge in automated software remodularisation Hall, Mathew, Walkinshaw, Neil, and McMinn, Phil IEEE Transactions on Software Engineering 2018 [Paper]
  6. How Do Automatically Generated Unit Tests Influence Software Maintenance? Shamshiri, Sina, Rojas, José Miguel, Galeotti, Juan Pablo, Walkinshaw, Neil, and Fraser, Gordon In Software Testing, Verification and Validation (ICST), 2018 IEEE 11th International Conference on 2018 [Paper]

2017

  1. Uncertainty-driven black-box test data generation Walkinshaw, Neil, and Fraser, Gordon In Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on 2017 [Paper]
  2. Software Quality Assurance: Consistency in the Face of Complexity and Change and Walkinshaw, Neil 2017
  3. Using Segment-Based Alignment to Extract Packet Structures from Network Traces Esoul, Othman, and Walkinshaw, Neil In Software Quality, Reliability and Security (QRS), 2017 IEEE International Conference on 2017 [Paper]

2016

  1. Inferring extended finite state machine models from software executions Walkinshaw, Neil, Taylor, Ramsay, and Derrick, John Empirical Software Engineering 2016 [Paper]
  2. Choreography-based analysis of distributed message passing programs Taylor, Ramsay, Tuosto, Emilio, Walkinshaw, Neil, and Derrick, John In Parallel, Distributed, and Network-Based Processing (PDP), 2016 24th Euromicro International Conference on 2016 [Paper]
  3. A Search Based Approach for Stress-Testing Integrated Circuits Eljuse, Basil, and Walkinshaw, Neil In International Symposium on Search Based Software Engineering 2016 [Paper]
  4. Inferring computational state machine models from program executions Walkinshaw, Neil, and Hall, Mathew In Software Maintenance and Evolution (ICSME), 2016 IEEE International Conference on 2016 [Paper]

2015

  1. Assessing and generating test sets in terms of behavioural adequacy Fraser, Gordon, and Walkinshaw, Neil Software Testing, Verification and Reliability 2015 [Paper]
  2. Black-box test generation from inferred models Papadopoulos, Petros, and Walkinshaw, Neil In Proceedings of the Fourth International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering 2015 [Paper]
  3. SEPIA: search for proofs using inferred automata Gransden, Thomas, Walkinshaw, Neil, and Raman, Rajeev In International Conference on Automated Deduction 2015 [Paper]
  4. Visualising software as a particle system Scarle, Simon, and Walkinshaw, Neil In Software Visualization (VISSOFT), 2015 IEEE 3rd Working Conference on 2015 [Paper]
  5. An evidential reasoning approach for assessing confidence in safety evidence Nair, Sunil, Walkinshaw, Neil, Kelly, Tim, and Vara, Jose Luis In Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on 2015 [Paper]

2014

  1. Mining state-based models from proof corpora Gransden, Thomas, Walkinshaw, Neil, and Raman, Rajeev 2014 [Paper]
  2. Quantifying Uncertainty in Safety Cases Using Evidential Reasoning Nair, Sunil, Walkinshaw, Neil, and Kelly, Tim In International Conference on Computer Safety, Reliability, and Security 2014 [Paper]
  3. Establishing the source code disruption caused by automated remodularisation tools Hall, Mathew, Khojaye, Muhammad Ali, Walkinshaw, Neil, and McMinn, Phil In Software Maintenance and Evolution (ICSME), 2014 IEEE International Conference on 2014 [Paper]

2013

  1. STAMINA: a competition to encourage the development and assessment of software model inference techniques Walkinshaw, Neil, Lambeau, Bernard, Damas, Christophe, Bogdanov, Kirill, and Dupont, Pierre Empirical software engineering 2013 [Paper]
  2. Automated comparison of state-based software models in terms of their language and structure Walkinshaw, Neil, and Bogdanov, Kirill ACM Transactions on Software Engineering and Methodology (TOSEM) 2013 [Paper]
  3. Reverse-Engineering Software Behavior and Walkinshaw, Neil 2013
  4. Using evidential reasoning to make qualified predictions of software quality and Walkinshaw, Neil In Proceedings of the 9th International Conference on Predictive Models in Software Engineering 2013 [Paper]

2012

  1. Behaviourally adequate software testing Fraser, Gordon, and Walkinshaw, Neil In Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on 2012 [Paper]
  2. Supervised software modularisation Hall, Mathew, Walkinshaw, Neil, and McMinn, Phil In Software Maintenance (ICSM), 2012 28th IEEE International Conference on 2012 [Paper]
  3. Model-based testing and model inference Meinke, Karl, and Walkinshaw, Neil In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2012 [Paper]

2011

  1. A multiobjective optimisation approach for the dynamic inference and refinement of agent-based model specifications Adra, Salem F, Kiran, Mariam, McMinn, Phil, and Walkinshaw, Neil In Evolutionary Computation (CEC), 2011 IEEE Congress on 2011 [Paper]
  2. Assessing Test Adequacy for Black-Box Systems without Specifications and Walkinshaw, Neil Testing Software and Systems 2011 [Paper]
  3. Adapting grammar inference techniques to mine state machines Walkinshaw, Neil, and Bogdanov, Kirill Mining Software Specifications: Methodologies and Applicationss, Chapman & Hall/CRC Data Mining and Knowledge Discovery Series 2011

2010

  1. Property-Based Testing-The ProTest Project Derrick, John, Walkinshaw, Neil, Arts, Thomas, Benac Earle, Clara, Cesarini, Francesco, Fredlund, Lars-Ake, Gulias, Victor, Hughes, John, and Thompson, Simon In Formal Methods for Components and Objects 2010
  2. Increasing functional coverage by inductive testing: a case study Walkinshaw, Neil, Bogdanov, Kirill, Derrick, John, and Paris, Javier Testing Software and Systems 2010 [Paper]
  3. Superstate identification for state machines using search-based clustering Hall, Mathew, McMinn, Phil, and Walkinshaw, Neil In Proceedings of the 12th annual conference on Genetic and evolutionary computation 2010 [Paper]
  4. Using dictionary compression algorithms to identify phases in program traces Afshan, Sheeva, McMinn, Phil, and Walkinshaw, Neil 2010
  5. A framework for the competitive evaluation of model inference techniques Walkinshaw, Neil, Bogdanov, Kirill, Damas, Christophe, Lambeau, Bernard, and Dupont, Pierre In Proceedings of the First International Workshop on Model Inference In Testing 2010 [Paper]
  6. The practical assessment of test sets with inductive inference techniques and Walkinshaw, Neil Testing–Practice and Research Techniques 2010
  7. Incrementally discovering testable specifications from program executions Walkinshaw, Neil, and Derrick, John In Formal Methods for Components and Objects 2010 [Paper]
  8. Using compression algorithms to support the comprehension of program traces Walkinshaw, Neil, Afshan, Sheeva, and McMinn, Phil In Proceedings of the Eighth International Workshop on Dynamic Analysis 2010 [Paper]

2009

  1. Iterative refinement of reverse-engineered models by model-based testing Walkinshaw, Neil, Derrick, John, and Guo, Qiang FM 2009: Formal Methods 2009 [Paper]
  2. Computing the structural difference between state-based models Bogdanov, Kirill, and Walkinshaw, Neil In Reverse Engineering, 2009. WCRE’09. 16th Working Conference on 2009 [Paper]
  3. Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs Guo, Qiang, Derrick, John, and Walkinshaw, Neil 2009 [Paper]

2008

  1. Inferring finite-state models with temporal constraints Walkinshaw, Neil, and Bogdanov, Kirill In Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering 2008 [Paper]
  2. Improving dynamic software analysis by applying grammar inference principles Walkinshaw, Neil, Bogdanov, Kirill, Holcombe, Mike, and Salahuddin, Sarah Journal of Software Maintenance and Evolution: Research and Practice 2008 [Paper]
  3. Automated discovery of state transitions and their functions in source code Walkinshaw, Neil, Bogdanov, Kirill, Ali, Shaukat, and Holcombe, Mike Software Testing, Verification and Reliability 2008 [Paper]
  4. Evaluation and comparison of inferred regular grammars Walkinshaw, Neil, Bogdanov, Kirill, and Johnson, Ken Grammatical Inference: Algorithms and Applications 2008 [Paper]
  5. Validation and discovery from computational biology models Kiran, Mariam, Coakley, Simon, Walkinshaw, Neil, McMinn, Phil, and Holcombe, Mike Biosystems 2008 [Paper]
  6. Balanced FSM Generation for Empirical Studies Salahuddin, Sarah, Bogdanov, Kirill, and Walkinshaw, Neil In International Workshop on Software Testing, Verification, and Validation (ICSTW) 2008

2007

  1. Reverse engineering state machines by interactive grammar inference Walkinshaw, Neil, Bogdanov, Kirill, Holcombe, Mike, and Salahuddin, Sarah In Reverse Engineering, 2007. WCRE 2007. 14th Working Conference on 2007 [Paper]
  2. A hybrid approach to modeling biological systems Bernardini, Francesco, Gheorghe, Marian, Romero-Campero, Francisco José, and Walkinshaw, Neil In International Workshop on Membrane Computing 2007 [Paper]
  3. Feature location and extraction using landmarks and barriers Walkinshaw, N, Roper, M, and Wood, M In Software Maintenance, 2007. ICSM 2007. IEEE International Conference on 2007 [Paper]
  4. A comparative study of methods for dynamic reverse-engineering of state models Ali, Shaukat, Walkinshaw, Neil, and Bogdanov, Kirill 2007 [Paper]
  5. Applying grammar inference principles to dynamic analysis Walkinshaw, Neil, and Bogdanov, Kirill Program Comprehension through Dynamic Analysis 2007 [Paper]

2006

  1. Identifying state transitions and their functions in source code Walkinshaw, Neil, Bogdanov, Kirill, and Holcombe, Mike In Testing: Academic and Industrial Conference-Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings 2006 [Paper]
  2. Partitioning Object-Oriented Source Code for Inspections and Walkinshaw, Neil University of Strathclyde, Glasgow 2006 [Paper]
  3. Using attribute slicing to refactor large classes Kirk, Douglas, Roper, Marc, and Walkinshaw, Neil In Dagstuhl Seminar Proceedings 2006
  4. Workshop on Object-Oriented Reengineering Demeyer, Serge, Mens, Kim, Wuyts, Roel, Guéhéneuc, Yann-Gaël, Zaidman, Andy, Walkinshaw, Neil, Aguiar, Ademar, and Ducasse, Stéphane 2006

2005

  1. Understanding object-oriented source code from the behavioural perspective Walkinshaw, Neil, Roper, Marc, and Wood, Murray In Program Comprehension, 2005. IWPC 2005. Proceedings. 13th International Workshop on 2005 [Paper]

2003

  1. The Java system dependence graph Walkinshaw, Neil, Roper, Marc, and Wood, Murray In Source Code Analysis and Manipulation, 2003. Proceedings. Third IEEE International Workshop on 2003 [Paper]

2002

  1. Visual X-Machine Description Language (VXMDL) and Walkinshaw, Neil 2002