TY  - RPRT
TI  - DSpec2Test: Specification-Driven Test Generation in Dafny
AU  - Sofia Vieira Pinto
AU  - Álvaro F. Silva
AU  - João Pascoal Faria
AU  - Alexandra Mendes
PY  - 2026
UR  - https://arxiv.org/abs/2609.29713
ID  - 2609.29713
ER  -