FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 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

ICSE 2024-profile
View general profile