default search action
Neil Walkinshaw
Person information
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
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1(FSE): 2538-2560 (2024) - [j15]Andrew G. Clark
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
Causal Test Adequacy. ICST 2024: 161-172 - [i10]Neil Walkinshaw
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
Learning EFSM Models with Registers in Guards. CoRR abs/2406.07040 (2024) - 2023
- [j14]Richard J. Somers
Digital-twin-based testing for cyber-physical systems: A systematic literature review. Inf. Softw. Technol. 156: 107145 (2023) - [j13]Neil Walkinshaw
Modelling Second-Order Uncertainty in State Machines. IEEE Trans. Software Eng. 49(5): 3261-3276 (2023) - [c51]Michael Foster
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
Metamorphic Testing with Causal Graphs. ICST 2023: 153-164 - 2022
- [j12]Foozhan Ataiefard
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
Reliable counterparts: efficiently testing causal relationships in digital twins. MoDELS (Companion) 2022: 468-472 - [i8]Andrew G. Clark, Michael Foster, Benedikt Prifling
Testing Causality in Scientific Modelling Software. CoRR abs/2209.00357 (2022) - 2021
- [j11]Andrew G. Clark
Test case generation for agent-based models: A systematic literature review. Inf. Softw. Technol. 135: 106567 (2021) - [c47]Michael Foster
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
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
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
Improving Scratch Programming with CRC-Card Design. WiPSCE 2019: 19:1-19:4 - 2018
- [j10]Mathew Hall
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
Are 20% of files responsible for 80% of defects? ESEM 2018: 2:1-2:10 - [c40]Sina Shamshiri, José Miguel Rojas
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
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
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21(3): 811-853 (2016) - [c36]Neil Walkinshaw
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
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
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
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
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
SEPIA: Search for Proofs Using Inferred Automata. CoRR abs/1505.07987 (2015) - 2014
- [c28]Mathew Hall
Establishing the Source Code Disruption Caused by Automated Remodularisation Tools. ICSME 2014: 466-470 - [c27]Thomas Gransden, Neil Walkinshaw
Mining State-Based Models from Proof Corpora. CICM 2014: 282-297 - [c26]Sunil Nair, Neil Walkinshaw
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. SAFECOMP Workshops 2014: 413-418 - [i2]Thomas Gransden, Neil Walkinshaw
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
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
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
Inferring Extended Finite State Machine models from software executions. WCRE 2013: 301-310 - 2012
- [c23]Mathew Hall
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
Superstate identification for state machines using search-based clustering. GECCO 2010: 1381-1388 - [c17]Neil Walkinshaw
Using compression algorithms to support the comprehension of program traces. WODA 2010: 8-13 - [c16]Neil Walkinshaw
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
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. FM 2009: 305-320 - [c13]John Derrick
Property-Based Testing - The ProTest Project. FMCO 2009: 250-271 - [c12]Neil Walkinshaw
Incrementally Discovering Testable Specifications from Program Executions. FMCO 2009: 272-289 - [c11]Qiang Guo, John Derrick
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
Validation and discovery from computational biology models. Biosyst. 93(1-2): 141-150 (2008) - [j2]Neil Walkinshaw
Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. 20(4): 269-290 (2008) - [j1]Neil Walkinshaw
Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. 18(2): 99-121 (2008) - [c9]Neil Walkinshaw
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
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
Feature Location and Extraction using Landmarks and Barriers. ICSM 2007: 54-63 - [c5]Francesco Bernardini, Marian Gheorghe
A Hybrid Approach to Modeling Biological Systems. Workshop on Membrane Computing 2007: 138-159 - [c4]Neil Walkinshaw
Reverse Engineering State Machines by Interactive Grammar Inference. WCRE 2007: 209-218 - 2006
- [c3]Neil Walkinshaw
Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58 - 2005
- [c2]Neil Walkinshaw
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
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 21:19 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: