Four Papers at ASE 2026 and Co-located Events

Sep 1, 2026

Four papers accepted at ASE 2026 and its co-located events: two ASE demo papers, one APR paper, and one CONFLANG paper.

We are delighted to share four papers from the Software Reliability Lab accepted at ASE 2026 and its co-located events:

  1. ProofPulse: Interactive Proof Coverage Analysis for Dafny
    Accepted at the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), Tool Demonstrations Track.
    Authors: Álvaro Silva, Rúben Martins, and Alexandra Mendes.

  2. DSpec2Test: Specification-Driven Test Generation in Dafny
    Accepted at ASE 2026, Tool Demonstrations Track.
    Authors: Sofia Vieira Pinto, Álvaro Silva, João Pascoal Faria, and Alexandra Mendes.

  3. DafnyFix: Single-Transformation Automated Repair in Dafny
    Accepted at Automated Program Repair (APR 2026), co-located with ASE 2026.
    Authors: Isabel Amaral, Álvaro Silva, João F. Ferreira, and Alexandra Mendes.

  4. Déjà Vu? Redundant Dependencies in Terraform
    Accepted at CONFLANG 2026, co-located with ASE 2026.
    Authors: Carlos Felgueiras, Luís W. Barbosa, Nuno Saavedra, Alexandra Mendes, and João F. Ferreira.

Both ASE demo papers received the Available, Functional, and Reusable Artifact Evaluation Badges.

Congratulations to all the authors!