Michael Foster | Publications

Bounding random test set size with computational learning theory PDF Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons ACM International Conference on the Foundations of Software Engineering (FSE), 2024
Do maternal haemodynamics have a causal influence on treatment for gestational diabetes? PDF Abigail R. Anness, Michael Foster, Mohammed W. Osman, David Webb, Thompson Robinson, Asma Khalil, Neil Walkinshaw, Hatem A. Mousa Journal of Obstetrics and Gynaecology
Causal Test Adequacy PDF Michael Foster, Christopher Wild, Robert M. Heirons, Neil Walkinshaw In IEEE Conference on Software Testing, Verification and Validation (ICST), 2024

Active Inference of EFSMs Without Reset PDF Michael Foster, Roland Groz, Catherine Oriat, Adenilso Simao, Germán Vega, Neil Walkinshaw International Conference on Formal Engineering Methods, 2023
Active Inference of Extended Finite State Models of Software Systems PDF Roland Groz, Catherine Oriat, Germán Vega, Adenilso Simao, Michael Foster, Neil Walkinshaw International Conference on Grammatical Inference, 2023
Testing Causality in Scientific Modelling Software PDF Andrew G Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M Hierons, Volker Schmidt, Robert D Turner Transactions on Software Engineering Methods, 2023
Metamorphic Testing with Causal Graphs PDF Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons In IEEE Conference on Software Testing, Verification and Validation (ICST), 2023

Reverse-Engineering EFSMs with Data Dependencies PDF Michael Foster, John Derrick, Neil Walkinshaw In Testing Software and Systems (ICTSS) 2021

Do sophisticated evolutionary algorithms perform better than simple ones? PDF Michael Foster, Matthew Hughes, George O'Brien, Pietro S. Oliveto, James Pyle, Dirk Sudholt, and James Williams In Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 2020
A formal model of extended finite state machines Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick Archive of Formal Proofs
Inference of extended finite state machines Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick Archive of Formal Proofs

Incorporating data into EFSM inference PDF Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick In Software Engineering and Formal Methods, 2019

Formalising extended finite state machine transition merging PDF Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick In Proceedings of the 20th International Conference on Formal Engineering Methods, 2018