Michael Foster

According to our database, Michael Foster authored at least 12 papers between 2018 and 2024.

Collaborative distances:

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

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

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