| 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 | 9 | 2018 |
| 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 | 7 | 2023 |
| 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 | 6 | 2019 |
| A Formal Model of Extended Finite State Machines M Foster, AD Brucker, RG Taylor, J Derrick AFP, 2020 | 4 | 2020 |
| 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 | 3 | 2020 |
| Metamorphic Testing with Causal Graphs AG Clark, M Foster, N Walkinshaw, RM Hierons 2023 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2023 | 2 | 2023 |
| Reverse-Engineering EFSMs with Data Dependencies M Foster, J Derrick, N Walkinshaw IFIP International Conference on Testing Software and Systems, 37-54, 2021 | 2 | 2021 |
| Inference of Extended Finite State Machines M Foster, AD Brucker, RG Taylor, J Derrick AFP, 2020 | 2 | 2020 |
| 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 |
| 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 |
