Michael Foster | Publications

The Causal Testing Framework PDF Michael Foster, Andrew Clark, Christopher Wild, Farhad Allian, Robert Turner, Richard Somers, Nicholas Latimer, Neil Walkinshaw, and Robert M. Hierons Journal of Open Source Software

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)
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 IEEE Conference on Software Testing, Verification and Validation (ICST)

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
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
Testing Causality 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 (ToSEM)
Metamorphic Testing with Causal Graphs PDF Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons IEEE Conference on Software Testing, Verification and Validation (ICST)

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

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 Proceedings of the 2020 Genetic and Evolutionary Computation Conference
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 Software Engineering and Formal Methods

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