Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anzhela Sukhanova
conf.researchr.org general profile
EASE 2023 profile
Registered user since Mon 27 Mar 2023
Name:
Anzhela Sukhanova
Country:
Russia
Affiliation:
Saint-Petersburg State University
GitHub:
https://github.com/AnzhelaSukhanova
Contributions
2023
EASE
Author of HornFuzz: Fuzzing CHC solvers within the Research (Full Papers)-track
Share
x
Sat 21 Dec 17:33