News | Alexandra Mendes

2026

July 2026: Paper accepted at ISSRE 2026.
- Automated Fault Localization for Verification-Aware Languages: A Study on Dafny
  paper with Álvaro Silva, Isabel Amaral, and J. Pascoal Faria
July 2026: Two papers accepted at ASE 2026.
- ProofPulse: Interactive Proof Coverage Analysis for Dafny
  tool paper with Álvaro Silva and Rúben Martins
- DSpec2Test: Specification-Driven Test Generation in Dafny
  tool paper with Sofia Pinto, Álvaro Silva, and J. Pascoal Faria
May 2026: Co-Chairing FormaliSE 2027 with Alessio Ferrari.
May 2026: Invited to the Program Committee for OOPSLA 2027.
March 2026: Paper accepted at FSE 2026.
- ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
  tool demo paper with Martim Afonso, Nuno Saavedra, Bruno Lourenço, and João F. Ferreira
February 2026: Paper accepted at EASE 2026.
- The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible’s Challenges
  paper with Carolina Carreira, Nuno Saavedra, and João F. Ferreira
January 2026: Invited to the Program Committee for ICSE 2027.
January 2026: Invited to the Program Committee for ASE 2026

December 2025: Paper accepted at ICSE 2026.
- MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
  paper with Isabel Amaral and José Campos
November 2025: Joined the Formal Methods 2026 Program Committee.
October 2025: Invited to Co-Chair LEARNER 2026 together with Mehrdad Saadatmand, Beatriz Marín, and Gregory Gay.
September 2025: Invited to the Program Committee for ISSTA 2026.
More TBA