Michael Foster

23 papers A 4B 1C 3Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
A Browser-based Open Source Assistant for Multimodal Content Verification.
EACL (System Demonstrations)
Rosanna Milner, Michael Foster, Olesya Razuvayevskaya, Valentin Porcellini, Denis Teyssou, Ian Roberts, Kalina Bontcheva
2026 J jnl
A Browser-based Open Source Assistant for Multimodal Content Verification.
CoRR
Rosanna Milner, Michael Foster, Twin Karmakharm, Olesya Razuvayevskaya, Ian Roberts, Valentin Porcellini, Denis Teyssou, Kalina Bontcheva
2025 — conf
Evolving Estimation Models for Causal Testing.
SIGSOFT FSE Companion
Luca Devlin, Michael Foster
2025 J jnl
The Causal Testing Framework.
J. Open Source Softw.
Michael Foster, Andrew G. Clark, Christopher Wild, Farhad Allian, Robert D. Turner, Richard J. Somers, Nicholas Latimer, Neil Walkinshaw, Robert M. Hierons
2025 A conf
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study.
EASE
Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild
2025 J jnl
Using Causal Inference to Test Systems with Hidden and Interacting Variables: An Evaluative Case Study.
CoRR
Michael Foster, Robert M. Hierons, Donghwan Shin, Neil Walkinshaw, Christopher Wild
2024 J jnl
Bounding Random Test Set Size with Computational Learning Theory.
CoRR
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
2024 J jnl
Bounding Random Test Set Size with Computational Learning Theory.
Proc. ACM Softw. Eng.
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
2024 A conf
Causal Test Adequacy.
ICST
Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw
2024 J jnl
Learning EFSM Models with Registers in Guards.
CoRR
Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
2024 J jnl
Testing Causality in Scientific Modelling Software.
ACM Trans. Softw. Eng. Methodol.
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
2023 C conf
Active Inference of EFSMs Without Reset.
ICFEM
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
2023 — conf
Active Inference of Extended Finite State Models of Software Systems.
ICGI
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
2023 A conf
Metamorphic Testing with Causal Graphs.
ICST
Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons
2022 J jnl
An automated framework for verifying or refuting trace properties of extended finite state machines.
Int. J. Softw. Tools Technol. Transf.
Ramsay G. Taylor, Michael Foster, Siobhán North
2022 J jnl
Testing Causality in Scientific Modelling Software.
CoRR
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
2021 C conf
Reverse-Engineering EFSMs with Data Dependencies.
ICTSS
Michael Foster, John Derrick, Neil Walkinshaw
2020 J jnl
A Formal Model of Extended Finite State Machines.
Arch. Formal Proofs
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
2020 A conf
Do sophisticated evolutionary algorithms perform better than simple ones?
GECCO
Michael Foster, Matthew Hughes, George O. O'Brien, Pietro S. Oliveto, James Pyle, Dirk Sudholt, James Williams
2020 J jnl
Inference of Extended Finite State Machines.
Arch. Formal Proofs
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
2020 — —
Reverse engineering systems to identify flaws and understand behaviour
Michael Foster
2019 B conf
Incorporating Data into EFSM Inference.
SEFM
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
2018 C conf
Formalising Extended Finite State Machine Transition Merging.
ICFEM
Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick