Sofia Vieira Pinto | Alexandra Mendeshttps://archimendes.com/authors/sofia-vieira-pinto/Sofia Vieira PintoSource Themes Academic (https://sourcethemes.com/academic/)en-us© 2019---2026 Alexandra Mendes. All opinions are personal and do not necessarily represent the entities I am affiliated with.Mon, 24 Aug 2026 00:00:00 +0000img/map[gravatar:%!s(bool=false) shape:circle]Sofia Vieira Pintohttps://archimendes.com/authors/sofia-vieira-pinto/DSpec2Test: Specification-Driven Test Generation in Dafnyhttps://archimendes.com/publication/2026/ase2/Mon, 24 Aug 2026 00:00:00 +0000https://archimendes.com/publication/2026/ase2/