Clotilde Erard

According to our database1, Clotilde Erard authored at least 2 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Towards random and enumerative testing for OCaml and WhyML properties.
Softw. Qual. J., 2022

2019
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs.
Proceedings of the Testing Software and Systems, 2019


  Loading...