Michael Foster
Orcid: 0000-0001-8233-9873Affiliations:
- University of Sheffield, South Yorkshire, UK
According to our database1,
Michael Foster
authored at least 15 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
3
1
2
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., January, 2024
Proc. ACM Softw. Eng., 2024
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
2023
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
Proceedings of the International Conference on Grammatical Inference, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
2022
An automated framework for verifying or refuting trace properties of extended finite state machines.
Int. J. Softw. Tools Technol. Transf., 2022
2021
Proceedings of the Testing Software and Systems, 2021
2020
PhD thesis, 2020
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
2018
Proceedings of the Formal Methods and Software Engineering, 2018