Articles with public access mandates - Neil WalkinshawLearn more
Not available anywhere: 2
Motivating adult learners by introducing programming concepts with scratch
M Krafft, G Fraser, N Walkinshaw
Proceedings of the 4th European Conference on Software Engineering Education …, 2020
Mandates: German Research Foundation
Improving scratch programming with crc-card design
S Keller, M Krafft, G Fraser, N Walkinshaw, K Otto, B Sabitzer
Proceedings of the 14th Workshop in Primary and Secondary Computing …, 2019
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Available somewhere: 21
STAMINA: a competition to encourage the development and assessment of software model inference techniques
N Walkinshaw, B Lambeau, C Damas, K Bogdanov, P Dupont
Empirical software engineering 18 (4), 791-824, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Digital-twin-based testing for cyber–physical systems: A systematic literature review
RJ Somers, JA Douthwaite, DJ Wagg, N Walkinshaw, RM Hierons
Information and Software Technology 156, 107145, 2023
Mandates: UK Research & Innovation
An evidential reasoning approach for assessing confidence in safety evidence
S Nair, N Walkinshaw, T Kelly, JL de la Vara
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
Mandates: Science Foundation Ireland, Research Council of Norway
Assessing and generating test sets in terms of behavioural adequacy
G Fraser, N Walkinshaw
Software Testing, Verification and Reliability 25 (8), 749-780, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Behaviourally adequate software testing
G Fraser, N Walkinshaw
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
Mandates: German Research Foundation
Test case generation for agent-based models: A systematic literature review
AG Clark, N Walkinshaw, RM Hierons
Information and Software Technology 135, 106567, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Testing causality in scientific modelling software
AG Clark, M Foster, B Prifling, N Walkinshaw, RM Hierons, V Schmidt, ...
ACM Transactions on Software Engineering and Methodology, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Establishing the source code disruption caused by automated remodularisation tools
M Hall, MA Khojaye, N Walkinshaw, P McMinn
2014 IEEE International Conference on Software Maintenance and Evolution …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Quantifying uncertainty in safety cases using evidential reasoning
S Nair, N Walkinshaw, T Kelly
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014
Mandates: Science Foundation Ireland
Modelling second-order uncertainty in state machines
N Walkinshaw, RM Hierons
IEEE Transactions on Software Engineering 49 (5), 3261-3276, 2023
Mandates: UK Engineering and Physical Sciences Research Council
Effectively incorporating expert knowledge in automated software remodularisation
M Hall, N Walkinshaw, P McMinn
IEEE Transactions on Software Engineering 44 (7), 613-630, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Deep state inference: Toward behavioral model inference of black-box software systems
F Ataiefard, MJ Mashhadi, H Hemmati, N Walkinshaw
IEEE Transactions on Software Engineering 48 (12), 4857-4872, 2021
Mandates: Natural Sciences and Engineering Research Council of Canada, UK Engineering …
Reverse-engineering EFSMs with data dependencies
M Foster, J Derrick, N Walkinshaw
IFIP International Conference on Testing Software and Systems, 37-54, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Maternal hemodynamics and neonatal birth weight in pregnancies complicated by gestational diabetes: new insights from novel causal inference analysis modeling
AR Anness, A Clark, K Melhuish, FMT Leone, MW Osman, D Webb, ...
Ultrasound in Obstetrics & Gynecology 60 (2), 215-222, 2022
Mandates: UK Engineering and Physical Sciences Research Council, National Institute …
Active inference of EFSMs without reset
M Foster, R Groz, C Oriat, A Simao, G Vega, N Walkinshaw
International Conference on Formal Engineering Methods, 29-46, 2023
Mandates: Fundação de Amparo à Pesquisa do Estado de São Paulo, UK Engineering and …
Reliable counterparts: efficiently testing causal relationships in digital twins
RJ Somers, AG Clark, N Walkinshaw, RM Hierons
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
Mandates: UK Engineering and Physical Sciences Research Council
Do maternal haemodynamics have a causal influence on treatment for gestational diabetes?
AR Anness, M Foster, MW Osman, D Webb, T Robinson, A Khalil, ...
Journal of Obstetrics and Gynaecology 44 (1), 2307883, 2024
Mandates: UK Engineering and Physical Sciences Research Council, National Institute …
Causal test adequacy
M Foster, C Wild, R Hierons, N Walkinshaw
2024 IEEE Conference on Software Testing, Verification and Validation (ICST), 2024
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program