Automatic Code and Test Generation of Smart Contracts from Coordination Models (Artifact)
Abstract
This artifact accompanies "Automatic Code and Test Generation of Smart Contracts from Coordination Models" (ECOOP 2026). It provides EDAM Studio, a toolchain for generating Solidity smart contracts from EDAM specifications. The package includes source code (Python, TypeScript, OCaml, JavaScript), pre-generated experiment data, Docker configuration, and documentation. It supports reproduction of code generation, automated test generation, and mutation testing experiments from the paper, and allows users to create and test custom EDAM models. License: GPL-3.0. Source: https://github.com/loctet/Edam-Studio.
Fields of Study & Subjects
Blockchain Technology Applications and Security
Software Testing and Debugging Techniques
Logic
programming
and type systems
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 4 February 2026
- Language
- ENC