Published February 25, 2025
| Version v1
Software
Open
Metamorph: Synthesizing Large Objects from Dafny Specifications
Description
This artifact presents Metamorph, a large object synthesis tool for Dafny. The artifact contains the source code of Metamorph, the baseline to which we compare it, the benchmarks on which we evaluate it, the fork of Dafny with a modified version of the automated test generation toolkit, as well as all the dependencies necessary for installation. For further details, please refer to the attached README.md and the following paper:
Aleksandr Fedchin, Alexander Y. Bai, and Jeffrey S. Foster. Metamorph: Synthesizing Large Objects from Dafny Specifications. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. https://doi.org/10.1145/3720448
Files
Artifact.zip
Files
(9.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d8a5d54095691106fc0f3bbb08bad106
|
9.5 MB | Preview Download |
|
md5:9a7e79e9fe1e43a0fa3772dad5f390e6
|
20.8 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Publication: 10.1145/3720448 (DOI)