Login / Signup
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.
Ghiles Ziat
Vincent Botbol
Matthieu Dien
Arnaud Gotlieb
Martin Pépin
Catherine Dubois
Published in:
CoRR (2022)
Keyphrases
</>
semi automatic
database
data sets
data driven
fully automatic
information systems
case study
uniformly distributed
databases
search engine
computer vision