@inproceedings{aitelhara:hal-03626861, 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}, URL = {https://inria.hal.science/hal-03626861}, BOOKTITLE = {{33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}}, ADDRESS = {Saint-M{\'e}dard-d'Excideuil, France}, EDITOR = {Chantal Keller and Timothy Bourke}, PAGES = {235-244}, YEAR = {2022}, MONTH = Jun, PDF = {https://inria.hal.science/hal-03626861/file/jfla22_paper_15.pdf}, HAL_ID = {hal-03626861}, HAL_VERSION = {v1}, }