Michael Foster

According to our database, Michael Foster authored at least 21 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Active Inference of Extended Finite State Machine Models with Registers and Guards.

Roland Groz, Germán Eduardo Vega Baez, Adenilso da Silva Simão, Catherine Oriat, Neil Walkinshaw, Michael Foster

CoRR, April, 2026

A Browser-based Open Source Assistant for Multimodal Content Verification.

Rosanna Milner, Michael Foster, Twin Karmakharm, Olesya Razuvayevskaya, Ian Roberts, Valentin Porcellini, Denis Teyssou, Kalina Bontcheva

CoRR, March, 2026

A Browser-based Open Source Assistant for Multimodal Content Verification.

Rosanna Milner, Michael Foster, Olesya Razuvayevskaya, Valentin Porcellini, Denis Teyssou, Ian Roberts, Kalina Bontcheva

Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics, 2026

2025

The Causal Testing Framework.

Michael Foster, Andrew G. Clark, Christopher Wild, Farhad Allian, Robert D. Turner, Richard J. Somers, Nicholas Latimer, Neil Walkinshaw, Robert M. Hierons

J. Open Source Softw., May, 2025

Evolving Estimation Models for Causal Testing.

Luca Devlin, Michael Foster

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study.

Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild

Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering, 2025

2024

Testing Causality in Scientific Modelling Software.

Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner

ACM Trans. Softw. Eng. Methodol., January, 2024

Bounding Random Test Set Size with Computational Learning Theory.

Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons

Proc. ACM Softw. Eng., 2024

Learning EFSM Models with Registers in Guards.

Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão

CoRR, 2024

Causal Test Adequacy.

Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

Metamorphic Testing with Causal Graphs.

Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 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, Neil Walkinshaw

Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.

Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw

Proceedings of the Formal Methods and Software Engineering, 2023

2022

An automated framework for verifying or refuting trace properties of extended finite state machines.

Ramsay G. Taylor, Michael Foster, Siobhán North

Int. J. Softw. Tools Technol. Transf., 2022

2021

Reverse-Engineering EFSMs with Data Dependencies.

Michael Foster, John Derrick, Neil Walkinshaw

Proceedings of the Testing Software and Systems, 2021

2020

Reverse engineering systems to identify flaws and understand behaviour

Michael Foster

PhD thesis, 2020

A Formal Model of Extended Finite State Machines.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Arch. Formal Proofs, 2020

Inference of Extended Finite State Machines.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Arch. Formal Proofs, 2020

Do sophisticated evolutionary algorithms perform better than simple ones?

Michael Foster, Matthew Hughes, George O. O'Brien, Pietro S. Oliveto, James Pyle, Dirk Sudholt, James Williams

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

Incorporating Data into EFSM Inference.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Formalising Extended Finite State Machine Transition Merging.

Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick

Proceedings of the Formal Methods and Software Engineering, 2018