Aleksandr Fedchin

According to our database, Aleksandr Fedchin authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

AcrosticSleuth: Probabilistic Identification and Ranking of Acrostics in Multilingual Corpora.

Aleksandr Fedchin, Isabel Cooperman, Pramit Chaudhuri, Joseph P. Dexter

CoRR, 2024

2023

A Toolkit for Automated Testing of Dafny.

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Better Counterexamples for Dafny.

Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022