Crossmark

Categorizing methods for integrating machine learning with executable specifications

Crossref DOI link: https://doi.org/10.1007/s11432-022-3826-6

Published Online: 2023-10-17

Published Print: 2024-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Harel, David https://orcid.org/0000-0001-7240-3931
Yerushalmi, Raz https://orcid.org/0000-0002-0513-3211
Marron, Assaf https://orcid.org/0000-0001-5904-5105
Elyasaf, Achiya https://orcid.org/0000-0002-4009-5353
License Information

Text and Data Mining valid from 2023-10-17

Version of Record valid from 2023-10-17
More Information

Article History

Received: 30 September 2022

Revised: 11 April 2023

Accepted: 7 July 2023

First Online: 17 October 2023