Group’s Photo (partial)
From left to right: Alexandra Mendes, Carolina Carreira, João F. Ferreira, Nuno Saavedra, Henrique Guerra, Martim Afonso, Bruno Lourenço. January 2025, Lisbon
The Software Reliability Lab develops new methods and techniques for improving the quality and dependability of software systems, emphasising the construction of practical tools that can have societal impact. Our work spans from empirical software engineering methods that can inform practitioners and direct future research, to formal methods that can verify the absence of certain types of bugs.

[Mar 2025] 

Congratulations to João F. Ferreira and Alexandra Mendes for securing funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.

 
[Nov 2024] 

Alexandra Mendes, João F. Ferreira, and Martim Afonso meet and present their work to Portuguese Minister of Education, Science and Innovation at Carnegie Mellon University.

 
[Oct 2024] 

Congratulations to Alexandra Mendes for securing funding for the VeriFixer project, a new research project focused on developing automated repair techniques for verification-aware programming languages.

 
[Apr 2024] 

Congratulations to Alexandra Mendes for being one of the two winners of the third edition of the Atlantic Security Award!

 

Featured Publications

View all the publications

(2025). InfraFix: Technology-Agnostic Repair of Infrastructure as Code. In ISSTA 2025, Tool Demonstrations Track. CORE A conference.
🏆 Awarded: Artifact Evaluation Award (Reusable).

PDF Code Video

Featured Projects

View all the projects

InfraGov: A Public Framework for Reliable and Secure IT Infrastructure

InfraGov: A Public Framework for Reliable and Secure IT Infrastructure

As Public Administration services move to digital platforms, the reliability and security of IT infrastructure become even more critical to ensure seamless service delivery, safeguard citizens’ personal information, and maintain public trust in governmental systems.

VeriFixer: Automated Repair of Verification-Aware Languages

VeriFixer: Automated Repair of Verification-Aware Languages

VeriFixer aims to assist programmers in fixing code issues identified by software verifiers, a task that remains largely manual despite advancements in automatic program repair.