Login / Signup
Clotilde Erard
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 2
Top Topics
Data Generation
Data Mining Techniques
Integer Programming
Rough Sets
Top Venues
ICTSS
Softw. Qual. J.
</>
Publications
</>
Clotilde Erard
,
Alain Giorgetti
,
Jérome Ricciardi
Towards random and enumerative testing for OCaml and WhyML properties.
Softw. Qual. J.
30 (1) (2022)
Clotilde Erard
,
Alain Giorgetti
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs.
ICTSS
(2019)