Aleksandr Fedchin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Fully Automatic

Search Based Testing

Relational Databases

Boolean Functions

Top Venues

Publications

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta
Better Counterexamples for Dafny. TACAS (1) (2022)