Ilia Zlatkin

According to our database, Ilia Zlatkin authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

SolTG: A CHC-Based Solidity Test Case Generator.

Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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