Valentyn Sobol

According to our database, Valentyn Sobol authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

UTBot Python at the SBFT Tool Competition 2024.

Ekaterina Tochilina, Vyacheslav Tamarin, Dmitry Mordvinov, Valentyn Sobol, Sergey Pospelov, Alexey Menshutin, Yury Kamenev, Dmitry Ivanov

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

2023

HornFuzz: Fuzzing CHC solvers.

Anzhela Sukhanova, Valentyn Sobol

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