Michael Foster

Research Assosiate at the Department of Computer Science, at the University of Sheffield.

I am currently an RA working with Neil Walkinshaw working on the CITCoM project. My research focusses on the use of Causal Inference techniques to address the challenges of testing computational models. These challenges include large input spaces, long runtimes, and nondeterminism.

I studied my PhD (2017-2020) at the University of Sheffield under John Derrick and Achim Brucker on the inference of extended finite state machine models from black-box software execution traces. This covered a number of areas including Model Inference, Genetic Programming, Theorem Proving, and Model Checking.



  • Do maternal haemodynamics have a causal influence on treatment for gestational diabetes? TO APPEAR Abigail R. Anness, Michael Foster, Mohammed W. Osman, David Webb, Thompson Robinson, Asma Khalil, Neil Walkinshaw, Hatem A. Mousa Journal of Obstetrics and Gynaecology
  • Causal Test Adequacy PDF Michael Foster, Christopher Wild, Robert M. Heirons, Neil Walkinshaw In IEEE Conference on Software Testing, Verification and Validation (ICST), 2024