@misc{indiciae8f161d4e8a77,
  title = {DSpec2Test: Specification-Driven Test Generation in Dafny},
  author = {Sofia Vieira Pinto and Álvaro F. Silva and João Pascoal Faria and Alexandra Mendes},
  year = {2026},
  url = {https://arxiv.org/abs/2609.29713},
  note = {Source identifier: 2609.29713}
}