All Stories

  1. DafnyFix: Single-Transformation Automated Repair in Dafny

    Article • October 2026, ACM (Association for Computing Machinery)

    Alexandra Mendes

  2. Déjà Vu? Redundant Dependencies in Terraform

    Article • October 2026, ACM (Association for Computing Machinery)

    Nuno Saavedra, Alexandra Mendes

  3. ProofPulse: Interactive Proof Coverage Analysis for Dafny

    Article • October 2026, ACM (Association for Computing Machinery)

    Alexandra Mendes

  4. DSpec2Test: Specification-Driven Test Generation in Dafny

    Article • October 2026, ACM (Association for Computing Machinery)

    Alexandra Mendes

  5. ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews

    Article • July 2026, ACM (Association for Computing Machinery)

    Alexandra Mendes, Nuno Saavedra

  6. Teachers’ Perspective on Software Testing Education

    Article • ACM Transactions on Computing Education, October 2025, ACM (Association for Computing Machinery)

    Alexandra Mendes, Monique Snoeck, Porfirio Tramontana

  7. Detecting Resource Leaks on Android with Alpakka

    Article • June 2025, ACM (Association for Computing Machinery)

    Alexandra Mendes

  8. InfraFix: Technology-Agnostic Repair of Infrastructure as Code

    Article • June 2025, ACM (Association for Computing Machinery)

    Nuno Saavedra, Alexandra Mendes

  9. Does Every Computer Scientist Need to Know Formal Methods?

    Article • Formal Aspects of Computing, December 2024, ACM (Association for Computing Machinery)

    Markus Kuppe, Alexandra Mendes, Jan Oliver Ringert

  10. Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection

    Article • October 2020, ACM (Association for Computing Machinery)

    Alexandra Mendes