Follow
Michael Foster
Title
Cited by
Cited by
Year
Testing causality in scientific modelling software
AG Clark, M Foster, B Prifling, N Walkinshaw, RM Hierons, V Schmidt, ...
ACM Transactions on Software Engineering and Methodology 33 (1), 1-42, 2023
122023
Formalising extended finite state machine transition merging
M Foster, RG Taylor, AD Brucker, J Derrick
Formal Methods and Software Engineering: 20th International Conference on …, 2018
92018
Incorporating data into efsm inference
M Foster, AD Brucker, RG Taylor, S North, J Derrick
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
62019
A Formal Model of Extended Finite State Machines
M Foster, AD Brucker, RG Taylor, J Derrick
AFP, 2020
42020
Do sophisticated evolutionary algorithms perform better than simple ones?
M Foster, M Hughes, G O'Brien, PS Oliveto, J Pyle, D Sudholt, J Williams
Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 184-192, 2020
32020
Reverse-Engineering EFSMs with Data Dependencies
M Foster, J Derrick, N Walkinshaw
IFIP International Conference on Testing Software and Systems, 37-54, 2021
22021
Inference of Extended Finite State Machines
M Foster, AD Brucker, RG Taylor, J Derrick
AFP, 2020
22020
Metamorphic Testing with Causal Graphs
AG Clark, M Foster, N Walkinshaw, RM Hierons
2023 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2023
12023
Do maternal haemodynamics have a causal influence on treatment for gestational diabetes?
AR Anness, M Foster, MW Osman, D Webb, T Robinson, A Khalil, ...
Journal of Obstetrics and Gynaecology 44 (1), 2307883, 2024
2024
Learning EFSM Models with Registers in Guards
G Vega, R Groz, C Oriat, M Foster, N Walkinshaw, A Simão
arXiv e-prints, arXiv: 2406.07040, 2024
2024
Bounding random test set size with computational learning theory
N Walkinshaw, M Foster, JM Rojas, R Hierons
Proceedings of the ACM on Software Engineering (PACMSE), 2024
2024
Causal test adequacy
M Foster, C Wild, R Hierons, N Walkinshaw
2024 IEEE Conference on Software Testing, Verification and Validation (ICST), 2023
2023
Active Inference of EFSMs Without Reset
M Foster, R Groz, C Oriat, A Simao, G Vega, N Walkinshaw
International Conference on Formal Engineering Methods, 29-46, 2023
2023
Active Inference of Extended Finite State Models of Software Systems
R Groz, C Oriat, G Vega, A Simao, M Foster, N Walkinshaw
International Conference on Grammatical Inference, 265-269, 2023
2023
An automated framework for verifying or refuting trace properties of extended finite state machines
RG Taylor, M Foster, S North
International Journal on Software Tools for Technology Transfer 24 (6), 949-972, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–15