MutDafny: A Mutation-Based Approach to Assess Dafny Specifications. - Isabel Amaral; Alexandra Mendes; José Campos (CoRR, 2025)