Sasha Fedchin

Home Papers Resume Graphics

Chakarov A., Fedchin A., Rakamaric Z., Rungta N. Better Counterexamples for Dafny. TACAS, 2022
Fedchin A., Burns P., Chaudhuri P., Dexter P. Senecan Trimeter and Humanist Tragedy. AJP, 2022
Fedchin A., Dean T., Foster J.S., Mercer E., Rakamaric Z., Reger G., Rungta N., Salkeld R., Wagner L., Waldrip C. A Toolkit for Automated Testing of Dafny. NFM, 2023