TY  - RPRT
TI  - HornFuzz: Fuzzing CHC solvers
AU  - Anzhela Sukhanova
AU  - Valentyn Sobol
PY  - 2023
DO  - 10.1145/3593434.3593455
UR  - https://arxiv.org/abs/2306.04281
ID  - 2306.04281
ER  -