Konstantin Britikov

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Test Case Selection

Constraint Solver

Top Venues

Publications

Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) (2024)
Martin Blicha, Konstantin Britikov, Natasha Sharygina
The Golem Horn Solver. CAV (2) (2023)
Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE (2023)