Isabel Amaral | Alexandra Mendeshttps://archimendes.com/authors/isabel-amaral/Isabel AmaralSource 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.Fri, 17 Apr 2026 00:00:00 +0000img/map[gravatar:%!s(bool=false) shape:circle]Isabel Amaralhttps://archimendes.com/authors/isabel-amaral/MutDafny: A Mutation-Based Approach to Assess Dafny Specificationshttps://archimendes.com/publication/2026/icse/Fri, 17 Apr 2026 00:00:00 +0000https://archimendes.com/publication/2026/icse/