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.

Latest News

[Apr 2025] 

Congratulations to Nuno Saavedra and João F. Ferreira for winning an ACM SIGSOFT Distinguished Paper Award at ICSE 2025 for their paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification”.

 
[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

Robert Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First (2025). Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. In ICSE 2025. CORE A* conference.
🏆 ACM SIGSOFT Distinguished Paper award.

PDF Code Dataset

Nuno Saavedra, João F. Ferreira, Alexandra Mendes (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

Sogol Masoumzadeh, Nuno Saavedra, Rungroj Maipradit, Lili Wei, João F. Ferreira, Dániel Varró, Shane McIntosh (2025). Do Experts Agree About Smelly Infrastructure?. In TSE 2025. Q1 journal.

PDF

David Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira (2025). Contract Usage and Evolution in Android Mobile Applications. In ECOOP 2025. CORE A conference.

PDF Code

Mateus Silva, Ana C. R. Paiva, Alexandra Mendes (2025). GAMFLEW: Serious game to teach white-box testing. In Software Quality Journal, 2025. Q2 Journal.

PDF DOI

Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan (2024). Does Every Computer Scientist Need to Know Formal Methods?. In Formal Aspects of Computing, 2024.

PDF DOI

Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino (2024). State of the Practice in Software Testing Teaching in Four European Countries. In ICST 2024. CORE A conference.

PDF

Pedro Carrott, Nuno Saavedra, Robert Thompson, Sorin Lerner, João F. Ferreira, Emily First (2024). CoqPyt: Proof Navigation in Python in the Era of LLMs. In FSE 2024, Demonstrations Track. CORE A* conference.

PDF Code Video

Monika di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer (2024). Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study. In EMSE, 29(2), pp. 1-44. Q1 Journal.

PDF Code DOI

Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes (2023). Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. In ASE 2023, Tool Demo Track. CORE A* conference.

PDF Code

See all publications

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.