Ilia Zlatkin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ATVA | Leveraging Program Structure for Test Case Generation. | Ilia Zlatkin, Grigory Fedyukovich |
| 2024 | CAV | SolTG: A CHC-Based Solidity Test Case Generator. | Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina |
| 2022 | TACAS | Maximizing Branch Coverage with Constrained Horn Clauses. | Ilia Zlatkin, Grigory Fedyukovich |