@misc{indiciaede043b3fb76f,
  title = {Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types},
  author = {Ghiles Ziat and Vincent Botbol and Matthieu Dien and Arnaud Gotlieb and Martin Pépin and Catherine Dubois},
  year = {2022},
  url = {https://arxiv.org/abs/2208.12747},
  note = {Source identifier: 2208.12747}
}