2030 Software Engineering
Mon 15 - Fri 19 July 2024
co-located with FSE 2024
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
Research interests:Software testing, Formal methods, Model inference

Contributions

Show activities from other conferences

FSE 2024-profile
View general profile