@inproceedings{ait_el_hara_jfla22,
  title     = {{Alt-Ergo-Fuzz}: {A} fuzzer for the {Alt-Ergo} {SMT} solver},
  author    = {Ait El Hara, Hichem Rami and Bury, Guillaume and de Oliveira, Steven},
  booktitle = {{33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
  editor    = {Chantal Keller and Timothy Bourke},
  url       = {https://inria.hal.science/hal-03626861},
  pages     = {235--244},
  address   = {Saint-M{\'e}dard-d'Excideuil, France},
  month     = jun,
  year      = {2022},
  pdf       = {https://inria.hal.science/hal-03626861v1/file/jfla22_paper_15.pdf},
  language  = {en}
}