Publicacoes - INESC TEC

Publicações

Publicações por HASLab

2025

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

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

Publicação
CoRR

Abstract

2025

Are Users More Willing to Use Formally Verified Password Managers?

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

Publicação
CoRR

Abstract

2025

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

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

Publicação
CoRR

Abstract

2025

InfraFix: Technology-Agnostic Repair of Infrastructure as Code

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

Publicação
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

Autores
Wu, V; Mendes, A; Abreu, A;

Publicação
CoRR

Abstract

2025

Survey about Teachers' Perspective on Software Testing Education

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

Publicação

Abstract