Book
Oct 2026
DafnyFix: Single-Transformation Automated Repair in Dafny
Isabel Amaral, Álvaro F. Silva, João F. Ferreira et al.
· 0 citations
Sponsored
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
We have 4 of 5 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Book
Open access
Aug 2026
DSpec2Test: Specification-Driven Test Generation in Dafny
DSpec2Test is presented, a specification-driven test generation tool for Dafny that automatically derives tests from formal specifications, without considering implementation details, and achieves a 93.9% mutation kill rate on a dataset of 131 mutants, outperforming Block's 82.4%, and uniquely killing 17 mutants.
Sofia Vieira Pinto, Álvaro F. Silva, João Pascoal Faria et al.
· Proceedings of the 41st IEEE... · 0 citations
Preprint
Aug 2026
ProofPulse: Interactive Proof Coverage Analysis for Dafny
Evaluated against an oracle of 252 programs from the dafny-synthesis benchmark, ProofPulse provides a high-precision signal for specification weaknesses, particularly unnecessary preconditions and vacuous proofs.
Álvaro F. Silva, Ruben Martins, Alexandra Mendes
· 0 citations
Preprint
Aug 2026
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
This paper investigates automated fault localization for verification-aware languages by comparing two paradigms: state-based and counterexample-based localization, and shows that counterexample-based approaches substantially outperform state-based localization in this setting.
Álvaro F. Silva, Isabel Amaral, João Pascoal Faria et al.
· 1 citation
· ⚡1