A Toolkit for Automated Testing of Dafny - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Kristin Yvonne Rozier, Swarat Chaudhuri, editors, NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Volume 13903 of Lecture Notes in Computer Science, pages 397-413, Springer, 2023. [doi]

This author has not been identified. Look up 'Aleksandr Fedchin' in GoogleThis author has not been identified. Look up 'Tyler Dean' in GoogleThis author has not been identified. Look up 'Jeffrey S. Foster' in GoogleThis author has not been identified. Look up 'Eric Mercer' in GoogleThis author has not been identified. Look up 'Zvonimir Rakamaric' in GoogleThis author has not been identified. Look up 'Giles Reger' in GoogleThis author has not been identified. Look up 'Neha Rungta' in GoogleThis author has not been identified. Look up 'Robin Salkeld' in GoogleThis author has not been identified. Look up 'Lucas Wagner' in GoogleThis author has not been identified. Look up 'Cassidy Waldrip' in Google

runs on WebDSL