Towards random and enumerative testing for OCaml and WhyML properties. - Clotilde Erard; Alain Giorgetti; Jérome Ricciardi (Softw. Qual. J., 2022)