Anzhela Sukhanova

According to our database, Anzhela Sukhanova authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2023

HornFuzz: Fuzzing CHC solvers.

Anzhela Sukhanova, Valentyn Sobol

Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023