Ilia Zlatkin

According to our database, Ilia Zlatkin authored at least 2 papers in 2022.

Collaborative distances:

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

2022

Maximizing Branch Coverage with Constrained Horn Clauses.

Ilia Zlatkin, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Horntinuum: Autonomous Testing using Constrained Horn Clauses.

Ilia Zlatkin, Grigory Fedyukovich

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022