Publications

Isabel Amaral, Álvaro Silva, João F. Ferreira, Alexandra Mendes (2026). DafnyFix: Single-Transformation Automated Repair in Dafny. In APR 2026.

Álvaro Silva, Rúben Martins, Alexandra Mendes (2026). ProofPulse: Interactive Proof Coverage Analysis for Dafny. In ASE 2026.

Sofia Vieira Pinto, Álvaro Silva, João Pascoal Faria, Alexandra Mendes (2026). DSpec2Test: Specification-Driven Test Generation in Dafny. In ASE 2026.

Álvaro Silva, Isabel Amaral, João Pascoal Faria, Alexandra Mendes (2026). Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny. In ISSRE 2026.

Isabel Amaral, Alexandra Mendes, José Campos (2026). MutDafny: A Mutation-Based Approach to Assess Dafny Specifications. In ICSE 2026.

Valentina Wu, Alexandra Mendes, Alexandre Abreu (2025). Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. In SEFM 2025.

Carolina Carreira, Álvaro Silva, Alexandre Abreu, Alexandra Mendes (2025). Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. In SEFM 2025.

Francisco Oliveira, Alexandra Mendes, Carolina Carreira (2025). What Challenges do Developer Face when using Verification-Aware Languages?. In ISSRE 2025.

David Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira (2025). Contract Usage and Evolution in Android Mobile Applications. In ECOOP 2025.