@misc{indiciae79a74baec18f,
  title = {Automatic Code and Test Generation of Smart Contracts from Coordination Models},
  author = {Elvis Konjoh Selabi and Maurizio Murgia and António Ravara and Emilio Tuosto},
  year = {2026},
  url = {https://arxiv.org/abs/2604.20507},
  note = {Source identifier: 2604.20507}
}