HornFuzz: Fuzzing CHC solvers. - Anzhela Sukhanova; Valentyn Sobol (EASE, 2023)