ISSTA/ECOOP 2024 (series) / Michael Foster
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
Using general profile