Metamorph is a program synthesis tool for the Dafny programming language that targets the problem of generating large heap-based objects from user-provided specifications. Metamorph can synthesize programs that include up to 57 method calls. Metamorph can also be integrated with DTest to generate more complex heap-based test inputs.

GitHub Repo: github.com/Dargones/DafnySynthesis/

Paper (OOPSLA): dl.acm.org/doi/10.1145/3720448