Registered user since Thu 6 Apr 2023
Name:Michael Foster
Bio:
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 Genetic Programming, Theorem Proving, and Model Checking.
Country:United Kingdom
Affiliation:The University of Sheffield
Personal website: http://staffwww.dcs.shef.ac.uk/people/M.Foster/
GitHub: https://github.com/jmafoster1
Research interests:Software testing, Formal methods, Model inference
Contributions
2024
ICST
ICST 2024-profile
View general profile
View general profile