All Stories

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

  2. Detecting Resource Leaks on Android with Alpakka

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

    Alexandra Mendes

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

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

    Nuno Saavedra, Alexandra Mendes

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

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

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

    Alexandra Mendes