default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNeil Walkinshaw
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]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): 2538-2560 (2024)- [j15]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): 10:1-10:42 (2024) - [c52]Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw:
Causal Test Adequacy. ICST 2024: 161-172 - [i10]Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons:
Bounding Random Test Set Size with Computational Learning Theory. CoRR abs/2405.17019 (2024) - [i9]Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão:
Learning EFSM Models with Registers in Guards. CoRR abs/2406.07040 (2024) - 2023
- [j14]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: 107145 (2023) - [j13]Neil Walkinshaw, Robert M. Hierons:
Modelling Second-Order Uncertainty in State Machines. IEEE Trans. Software Eng. 49(5): 3261-3276 (2023) - [c51]Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw:
Active Inference of EFSMs Without Reset. ICFEM 2023: 29-46 - [c50]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: 265-269 - [c49]Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons:
Metamorphic Testing with Causal Graphs. ICST 2023: 153-164 - 2022
- [j12]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): 4857-4872 (2022) - [c48]Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Reliable counterparts: efficiently testing causal relationships in digital twins. MoDELS (Companion) 2022: 468-472 - [i8]Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner:
Testing Causality in Scientific Modelling Software. CoRR abs/2209.00357 (2022) - 2021
- [j11]Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Test case generation for agent-based models: A systematic literature review. Inf. Softw. Technol. 135: 106567 (2021) - [c47]Michael Foster, John Derrick, Neil Walkinshaw:
Reverse-Engineering EFSMs with Data Dependencies. ICTSS 2021: 37-54 - [i7]Mohammad Jafar Mashhadi, Foozhan Ataiefard, Hadi Hemmati, Neil Walkinshaw:
Behavioral Model Inference of Black-box Software using Deep Neural Networks. CoRR abs/2101.04948 (2021) - [i6]Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Test case generation for agent-based models: A systematic literature review. CoRR abs/2103.07370 (2021) - 2020
- [c46]Neil Walkinshaw:
Improving Automated GUI Testing by Learning to Avoid Infeasible Tests. AITest 2020: 107-114 - [c45]Neil Walkinshaw, Martin J. Shepperd:
Reasoning about Uncertainty in Empirical Results. EASE 2020: 140-149 - [c44]Maren Krafft, Gordon Fraser, Neil Walkinshaw:
Motivating Adult Learners by Introducing Programming Concepts with Scratch. ECSEE 2020: 22-26
2010 – 2019
- 2019
- [c43]Sebastian Keller, Maren Krafft, Gordon Fraser, Neil Walkinshaw, Korbinian Otto, Barbara Sabitzer:
Improving Scratch Programming with CRC-Card Design. WiPSCE 2019: 19:1-19:4 - 2018
- [j10]Mathew Hall, Neil Walkinshaw, Phil McMinn:
Effectively Incorporating Expert Knowledge in Automated Software Remodularisation. IEEE Trans. Software Eng. 44(7): 613-630 (2018) - [c42]Neil Walkinshaw:
Testing Functional Black-Box Programs Without a Specification. Machine Learning for Dynamic Software Analysis 2018: 101-120 - [c41]Neil Walkinshaw, Leandro L. Minku:
Are 20% of files responsible for 80% of defects? ESEM 2018: 2:1-2:10 - [c40]Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser:
How Do Automatically Generated Unit Tests Influence Software Maintenance? ICST 2018: 250-261 - [c39]Basil Eljuse, Neil Walkinshaw:
Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits. SSBSE 2018: 198-212 - 2017
- [b2]Neil Walkinshaw:
Software Quality Assurance - Consistency in the Face of Complexity and Change. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-64821-7, pp. 1-170 - [c38]Neil Walkinshaw, Gordon Fraser:
Uncertainty-Driven Black-Box Test Data Generation. ICST 2017: 253-263 - [c37]Othman Esoul, Neil Walkinshaw:
Using Segment-Based Alignment to Extract Packet Structures from Network Traces. QRS 2017: 398-409 - 2016
- [j9]Neil Walkinshaw, Ramsay Taylor, John Derrick:
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21(3): 811-853 (2016) - [c36]Neil Walkinshaw, Mathew Hall:
Inferring Computational State Machine Models from Program Executions. ICSME 2016: 122-132 - [c35]Mathew Hall, Neil Walkinshaw:
Data and Analysis Code for GP EFSM Inference. ICSME 2016: 611 - [c34]Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick:
Choreography-Based Analysis of Distributed Message Passing Programs. PDP 2016: 512-519 - [c33]Basil Eljuse, Neil Walkinshaw:
A Search Based Approach for Stress-Testing Integrated Circuits. SSBSE 2016: 80-95 - [i5]Neil Walkinshaw, Gordon Fraser:
Uncertainty-Driven Black-Box Test Data Generation. CoRR abs/1608.03181 (2016) - [i4]Othman Esoul, Neil Walkinshaw:
Finding Clustering Configurations to Accurately Infer Packet Structures from Network Data. CoRR abs/1610.06089 (2016) - 2015
- [j8]Gordon Fraser, Neil Walkinshaw:
Assessing and generating test sets in terms of behavioural adequacy. Softw. Test. Verification Reliab. 25(8): 749-780 (2015) - [c32]Thomas Gransden, Neil Walkinshaw, Rajeev Raman:
SEPIA: Search for Proofs Using Inferred Automata. CADE 2015: 246-255 - [c31]Petros Papadopoulos, Neil Walkinshaw:
Black-Box Test Generation from Inferred Models. RAISE@ICSE 2015: 19-24 - [c30]Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara:
An evidential reasoning approach for assessing confidence in safety evidence. ISSRE 2015: 541-552 - [c29]Simon Scarle, Neil Walkinshaw:
Visualising software as a particle system. VISSOFT 2015: 66-75 - [i3]Thomas Gransden, Neil Walkinshaw, Rajeev Raman:
SEPIA: Search for Proofs Using Inferred Automata. CoRR abs/1505.07987 (2015) - 2014
- [c28]Mathew Hall, Muhammad Ali Khojaye, Neil Walkinshaw, Phil McMinn:
Establishing the Source Code Disruption Caused by Automated Remodularisation Tools. ICSME 2014: 466-470 - [c27]Thomas Gransden, Neil Walkinshaw, Rajeev Raman:
Mining State-Based Models from Proof Corpora. CICM 2014: 282-297 - [c26]Sunil Nair, Neil Walkinshaw, Tim Kelly:
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops 2014: 413-418 - [i2]Thomas Gransden, Neil Walkinshaw, Rajeev Raman:
Mining State-Based Models from Proof Corpora. CoRR abs/1405.3623 (2014) - 2013
- [j7]Neil Walkinshaw:
Reverse-Engineering Software Behavior. Adv. Comput. 91: 1-58 (2013) - [j6]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): 791-824 (2013) - [j5]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): 13:1-13:37 (2013) - [c25]Neil Walkinshaw:
Using evidential reasoning to make qualified predictions of software quality. PROMISE 2013: 2:1-2:10 - [c24]Neil Walkinshaw, Ramsay Taylor, John Derrick:
Inferring Extended Finite State Machine models from software executions. WCRE 2013: 301-310 - 2012
- [c23]Mathew Hall, Neil Walkinshaw, Phil McMinn:
Supervised software modularisation. ICSM 2012: 472-481 - [c22]Gordon Fraser, Neil Walkinshaw:
Behaviourally Adequate Software Testing. ICST 2012: 300-309 - [c21]Karl Meinke, Neil Walkinshaw:
Model-Based Testing and Model Inference. ISoLA (1) 2012: 440-443 - 2011
- [c20]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: 2237-2244 - [c19]Neil Walkinshaw:
Assessing Test Adequacy for Black-Box Systems without Specifications. ICTSS 2011: 209-224 - 2010
- [j4]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): 2367-2368 (2010) - [c18]Mathew Hall, Phil McMinn, Neil Walkinshaw:
Superstate identification for state machines using search-based clustering. GECCO 2010: 1381-1388 - [c17]Neil Walkinshaw, Sheeva Afshan, Phil McMinn:
Using compression algorithms to support the comprehension of program traces. WODA 2010: 8-13 - [c16]Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier París:
Increasing Functional Coverage by Inductive Testing: A Case Study. ICTSS 2010: 126-141 - [c15]Neil Walkinshaw:
The Practical Assessment of Test Sets with Inductive Inference Techniques. TAIC PART 2010: 165-172
2000 – 2009
- 2009
- [c14]Neil Walkinshaw, John Derrick, Qiang Guo:
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM 2009: 305-320 - [c13]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: 250-271 - [c12]Neil Walkinshaw, John Derrick:
Incrementally Discovering Testable Specifications from Program Executions. FMCO 2009: 272-289 - [c11]Qiang Guo, John Derrick, Neil Walkinshaw:
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES 2009: 81-96 - [c10]Kirill Bogdanov, Neil Walkinshaw:
Computing the Structural Difference between State-Based Models. WCRE 2009: 177-186 - 2008
- [j3]Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe:
Validation and discovery from computational biology models. Biosyst. 93(1-2): 141-150 (2008) - [j2]Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin:
Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. 20(4): 269-290 (2008) - [j1]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): 99-121 (2008) - [c9]Neil Walkinshaw, Kirill Bogdanov, Ken Johnson:
Evaluation and Comparison of Inferred Regular Grammars. ICGI 2008: 252-265 - [c8]Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw:
Balanced FSM Generation for Empirical Studies. ICST Workshops 2008: 371-375 - [c7]Neil Walkinshaw, Kirill Bogdanov:
Inferring Finite-State Models with Temporal Constraints. ASE 2008: 248-257 - 2007
- [b1]Neil Walkinshaw:
Partitioning object-oriented source code for inspections. University of Strathclyde, Glasgow, UK, 2007 - [c6]Neil Walkinshaw, Marc Roper, Murray Wood:
Feature Location and Extraction using Landmarks and Barriers. ICSM 2007: 54-63 - [c5]Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw:
A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing 2007: 138-159 - [c4]Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin:
Reverse Engineering State Machines by Interactive Grammar Inference. WCRE 2007: 209-218 - 2006
- [c3]Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe:
Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58 - 2005
- [c2]Neil Walkinshaw, Marc Roper, Murray Wood:
Understanding Object-Oriented Source Code from the Behavioural Perspective. IWPC 2005: 215-224 - [i1]Douglas Samuel Kirk, Marc Roper, Neil Walkinshaw:
Using Attribute Slicing to Refactor Large Classes. Beyond Program Slicing 2005 - 2003
- [c1]Neil Walkinshaw, Marc Roper, Murray Wood:
The Java System Dependence Graph. SCAM 2003: 55-64
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
