Sofia Vieira Pinto | Software Reliability Labhttps://sr-lab.github.io/author/Sofia-Vieira-Pinto/Sofia Vieira PintoHugo Blox Builder (https://hugoblox.com)en-usWed, 26 Aug 2026 00:00:00 +0000https://sr-lab.github.io/media/logo_hud8d8f3b35c8544d763a1f83a7d3ac48e_120278_300x300_fit_lanczos_3.pngSofia Vieira Pintohttps://sr-lab.github.io/author/Sofia-Vieira-Pinto/DSpec2Test: Specification-Driven Test Generation in Dafnyhttps://sr-lab.github.io/publication/2026/ASE2/Wed, 26 Aug 2026 00:00:00 +0000https://sr-lab.github.io/publication/2026/ASE2/