Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. - Clotilde Erard; Alain Giorgetti (ICTSS, 2019)

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