Horntinuum: Autonomous Testing using Constrained Horn Clauses. - Ilia Zlatkin; Grigory Fedyukovich (ASE, 2022)

Maximizing Branch Coverage with Constrained Horn Clauses. - Ilia Zlatkin; Grigory Fedyukovich (TACAS (2), 2022)

Leveraging Program Structure for Test Case Generation. - Ilia Zlatkin; Grigory Fedyukovich (ATVA (2), 2024)

SolTG: A CHC-Based Solidity Test Case Generator. - Konstantin Britikov; Ilia Zlatkin; Grigory Fedyukovich; Leonardo Alt; Natasha Sharygina (CAV (1), 2024)