Items where authors include "Walkinshaw, N."
Up a levelArticle
Anness, A.R., Foster, M. orcid.org/0000-0001-8233-9873, Osman, M.W. et al. (5 more authors) (2024) Do maternal haemodynamics have a causal influence on treatment for gestational diabetes? Journal of Obstetrics and Gynaecology, 44 (1). 2307883. ISSN 0144-3615
Clark, A.G., Foster, M., Prifling, B. et al. (4 more authors) (2023) Testing causality in scientific modelling software. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X
Walkinshaw, N. and Hierons, R. orcid.org/0000-0002-4771-1446 (2023) Modelling second-order uncertainty in state machines. IEEE Transactions on Software Engineering, 49 (5). pp. 3261-3276. ISSN 0098-5589
Anness, A.R., Clark, A., Melhuish, K. et al. (7 more authors) (2022) Maternal hemodynamics and neonatal birth weight in pregnancies complicated by gestational diabetes: new insights from novel causal inference analysis modeling. Ultrasound in Obstetrics & Gynecology, 60 (2). pp. 215-222. ISSN 0960-7692
Clark, A., Walkinshaw, N. and Hierons, R. orcid.org/0000-0002-4771-1446 (2021) Test case generation for agent-based models : a systematic literature review. Information and Software Technology, 135. 106567. ISSN 0950-5849
Mashhadi, M.J., Ataiefard, F., Hemmati, H. et al. (1 more author) (2021) Behavioral model inference of black-box software using deep neural networks. arXiv. (Submitted)
Hall, M., Walkinshaw, N. and McMinn, P. (2018) Effectively incorporating expert knowledge in automated software remodularisation. IEEE Transactions on Software Engineering, 44 (7). pp. 613-630. ISSN 0098-5589
Dunkerton, S.E., Jeve, Y.B., Walkinshaw, N. et al. (2 more authors) (2018) Predicting postpartum hemorrhage (PPH) during cesarean delivery using the Leicester PPH Predict tool: a retrospective cohort study. American Journal of Perinatology, 35 (2). pp. 163-169. ISSN 0735-1631
Fraser, G. and Walkinshaw, N. (2015) Assessing and generating test sets in terms of behavioural adequacy. Software Testing Verification and Reliability, 25 (8). pp. 749-780. ISSN 0960-0833
Walkinshaw, N., Taylor, R. and Derrick, J. (2015) Inferring extended finite state machine models from software executions. Empirical Software Engineering. ISSN 1382-3256
Proceedings Paper
Foster, M. orcid.org/0000-0001-8233-9873, Wild, C., Hierons, R. et al. (1 more author) (2023) Causal test adequacy. In: 2024 IEEE Conference on Software Testing, Verification and Validation (ICST). 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024, 27-31 May 2024, Toronto, Canada. Institute of Electrical and Electronics Engineers (IEEE) . (In Press)
Foster, M. orcid.org/0000-0001-8233-9873, Groz, R. orcid.org/0000-0003-3730-8300, Oriat, C. orcid.org/0000-0002-5674-0855 et al. (3 more authors) (2023) Active inference of EFSMs without reset. In: Li, Y. and Tahar, S., (eds.) Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. 24th International Conference on Formal Engineering Methods, ICFEM 2023, 21-24 Nov 2023, Brisbane, QLD, Australia. Lecture Notes in Computer Science, LNCS 14308 . Springer Singapore , pp. 29-46. ISBN 9789819975839
Groz, R., Oriat, C., Vega, G. et al. (3 more authors) (2023) Active inference of extended finite state models of software systems. In: Proceedings of Machine Learning Research. International Conference on Grammatical Inference, 10-13 Jul 2023, Rabat, Morocco. Proceedings of Machine Learning Research , pp. 265-269.
Clark, A.G., Foster, M., Walkinshaw, N. et al. (1 more author) (2023) Metamorphic testing with causal graphs. In: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), 16-20 Apr 2023, Dublin, Ireland. Institute of Electrical and Electronics Engineers (IEEE) . ISBN 9781665456678
Somers, R.J., Clark, A.G., Walkinshaw, N. et al. (1 more author) (2022) Reliable counterparts : efficiently testing causal relationships in digital twins. In: MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, 23-28 Oct 2022, Montreal, Quebec, Canada. Association for Computing Machinery , pp. 468-472. ISBN 9781450394673
Foster, M. orcid.org/0000-0001-8233-9873, Derrick, J. and Walkinshaw, N. (2022) Reverse-engineering EFSMs with data dependencies. In: Testing Software and Systems. ICTSS 2021 : The 33rd IFIP International Conference on Testing Software and Systems, 10-11 Nov 2021, Virtual conference. Lecture Notes in Computer Science . Springer Nature , pp. 37-54. ISBN 9783031046728
Walkinshaw, N. (2020) Improving automated GUI testing by learning to avoid infeasible tests. In: Proceedings of the 2020 IEEE International Conference On Artificial Intelligence Testing (AITest). 2020 IEEE International Conference On Artificial Intelligence Testing (AITest), 03-06 Aug 2020, Oxford, UK. IEEE , pp. 107-114. ISBN 9781728169859
Walkinshaw, N. and Shepperd, M. (2020) Reasoning about uncertainty in empirical results. In: EASE '20: Proceedings of the Evaluation and Assessment in Software Engineering. EASE '20: Evaluation and Assessment in Software Engineering, 15-17 Apr 2020, Trondheim, Norway. Association for Computing Machinery (ACM) , pp. 140-149. ISBN 9781450377317
Walkinshaw, N. and Minku, L. (2018) Are 20% of files responsible for 80% of defects? In: Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 11-12 Oct 2018, Oulu, Finland. ACM . ISBN 978-1-4503-5823-1
Walkinshaw, N. and Fraser, G. (2017) Uncertainty-Driven Black-Box Test Data Generation. In: Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 13-17 Mar 2017, Tokyo, Japan. IEEE , pp. 253-263.
Hall, M. and Walkinshaw, N. (2017) Data and analysis code for GP EFSM inference. In: 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) , 02-07 Oct 2016, Raleigh, NC, USA. IEEE , p. 611. ISBN 978-1-5090-3806-0
Walkinshaw, N. and Hall, M. orcid.org/0000-0002-9408-2996 (2017) Inferring Computational State Machine Models from Program Executions. In: 32nd IEEE International Conference On Software Maintenance And Evolution (ICSME). UNSPECIFIED. IEEE , pp. 123-133.