Crossmark

Towards random and enumerative testing for OCaml and WhyML properties

Crossref DOI link: https://doi.org/10.1007/s11219-021-09572-z

Published Online: 2022-02-22

Published Print: 2022-03

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

Authors

Erard, Clotilde

Giorgetti, Alain https://orcid.org/0000-0002-0990-9611
Ricciardi, Jérome
Funding

Funding for this research was provided by:

Agence Nationale de la Recherche (ANR-17-EURE-0002)
License Information

Text and Data Mining valid from 2022-02-22

Version of Record valid from 2022-02-22
More Information

Article History

Accepted: 13 September 2021

First Online: 22 February 2022