Michael Foster

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Learning Theory

Software Systems

Top Venues

Arch. Formal Proofs

Publications

Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
Testing Causality in Scientific Modelling Software. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. CoRR (2024)
Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
Learning EFSM Models with Registers in Guards. CoRR (2024)
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
Active Inference of EFSMs Without Reset. ICFEM (2023)
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
Active Inference of Extended Finite State Models of Software Systems. ICGI (2023)
Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons
Metamorphic Testing with Causal Graphs. ICST (2023)
Ramsay G. Taylor, Michael Foster, Siobhán North
An automated framework for verifying or refuting trace properties of extended finite state machines. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner
Testing Causality in Scientific Modelling Software. CoRR (2022)
Michael Foster, John Derrick, Neil Walkinshaw
Reverse-Engineering EFSMs with Data Dependencies. ICTSS (2021)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Michael Foster, Matthew Hughes, George O'Brien, Pietro S. Oliveto, James Pyle, Dirk Sudholt, James Williams
Do sophisticated evolutionary algorithms perform better than simple ones? GECCO (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
Incorporating Data into EFSM Inference. SEFM (2019)
Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
Formalising Extended Finite State Machine Transition Merging. ICFEM (2018)