Publications

Publications by HASLab

2025

From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges

Authors
Carreira, C; Saavedra, N; Mendes, A; Ferreira, JF;

Publication
CoRR

Abstract

2025

Are Users More Willing to Use Formally Verified Password Managers?

Authors
Carreira, C; Ferreira, JF; Mendes, A; Christin, N;

Publication
CoRR

Abstract

2025

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges

Authors
Carreira, C; Mendes, A; Ferreira, JF; Christin, N;

Publication
CoRR

Abstract

2025

InfraFix: Technology-Agnostic Repair of Infrastructure as Code

Authors
Saavedra, N; Ferreira, JF; Mendes, A;

Publication
Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025

Abstract

2025

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Authors
Wu, V; Mendes, A; Abreu, A;

Publication
CoRR

Abstract

2025

Survey about Teachers' Perspective on Software Testing Education

Authors
Tramontana, P; Marín, B; Paiva, ACR; Mendes, A; Vos, TEJ; Cammaerts, F; Snoeck, M; Saadatmand, M; Fasolino, AR;

Publication

Abstract