All Stories

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

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

    Alexandra Mendes, Nuno Saavedra

  2. Teachers’ Perspective on Software Testing Education

    Article • Digital Threats Research and Practice, October 2025, ACM (Association for Computing Machinery)

    Alexandra Mendes, Monique Snoeck, Porfirio Tramontana

  3. Detecting Resource Leaks on Android with Alpakka

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

    Alexandra Mendes

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

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

    Nuno Saavedra, Alexandra Mendes

  5. 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

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

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

    Alexandra Mendes