Formalising Extended Finite State Machine Transition Merging. - Michael Foster 001; Ramsay G. Taylor; Achim D. Brucker; John Derrick (ICFEM, 2018)

Incorporating Data into EFSM Inference. - Michael Foster 001; Achim D. Brucker; Ramsay G. Taylor; Siobhán North; John Derrick (SEFM, 2019)

Do sophisticated evolutionary algorithms perform better than simple ones? - Michael Foster 001; Matthew Hughes; George O. O'Brien; Pietro S. Oliveto; James Pyle; Dirk Sudholt; James Williams (GECCO, 2020)

Inference of Extended Finite State Machines. - Michael Foster 001; Achim D. Brucker; Ramsay G. Taylor; John Derrick (Arch. Formal Proofs, 2020)

A Formal Model of Extended Finite State Machines. - Michael Foster 001; Achim D. Brucker; Ramsay G. Taylor; John Derrick (Arch. Formal Proofs, 2020)

Reverse engineering systems to identify flaws and understand behaviour - Michael Foster 001 (2020)

Reverse-Engineering EFSMs with Data Dependencies. - Michael Foster 001; John Derrick; Neil Walkinshaw (ICTSS, 2021)

An automated framework for verifying or refuting trace properties of extended finite state machines. - Ramsay G. Taylor; Michael Foster 001; Siobhán North (Int. J. Softw. Tools Technol. Transf., 2022)

Active Inference of EFSMs Without Reset. - Michael Foster 001; Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw (ICFEM, 2023)

Active Inference of Extended Finite State Models of Software Systems. - Roland Groz; Catherine Oriat; Germán Vega; Adenilso da Silva Simão; Michael Foster 001; Neil Walkinshaw (ICGI, 2023)

Metamorphic Testing with Causal Graphs. - Andrew G. Clark; Michael Foster 001; Neil Walkinshaw; Robert M. Hierons (ICST, 2023)

Causal Test Adequacy. - Michael Foster 001; Christopher Wild; Robert M. Hierons; Neil Walkinshaw (ICST, 2024)

Learning EFSM Models with Registers in Guards. - Germán Vega; Roland Groz; Catherine Oriat; Michael Foster 001; Neil Walkinshaw; Adenilso Simão (CoRR, 2024)

Bounding Random Test Set Size with Computational Learning Theory. - Neil Walkinshaw; Michael Foster 001; José Miguel Rojas; Robert M. Hierons (Proc. ACM Softw. Eng., 2024)

Testing Causality in Scientific Modelling Software. - Andrew G. Clark; Michael Foster 001; Benedikt Prifling; Neil Walkinshaw; Robert M. Hierons; Volker Schmidt; Robert D. Turner (ACM Trans. Softw. Eng. Methodol., 2024)

Evolving Estimation Models for Causal Testing. - Luca Devlin; Michael Foster 001 (SIGSOFT FSE Companion, 2025)

Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study. - Michael Foster 001; Robert M. Hierons; Donghwan Shin 001; Neil Walkinshaw; Christopher Wild (CoRR, 2025)

The Causal Testing Framework. - Michael Foster 001; Andrew G. Clark; Christopher Wild; Farhad Allian; Robert D. Turner; Richard J. Somers; Nicholas Latimer; Neil Walkinshaw; Robert M. Hierons (J. Open Source Softw., 2025)