Henrique Nuno Saavedra Lemos de Moura
AuthID: R-004-PBN
1
TÃTULO: Do Experts Agree About Smelly Infrastructure? Full Text
AUTORES: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F.; Varro, Daniel; McIntosh, Shane;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, NÚMERO: 5
AUTORES: Masoumzadeh, Sogol; Saavedra, Nuno; Maipradit, Rungroj; Wei, Lili; Ferreira, Joao F.; Varro, Daniel; McIntosh, Shane;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 51, NÚMERO: 5
2
TÃTULO: GITBUG-JAVA: A Reproducible Benchmark of Recent Java Bugs
AUTORES: Silva, Andre; Saavedra, Nuno; Monperrus, Martin;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 21st International Conference on Mining Software Repositories (MSR) in 2024 IEEE/ACM 21ST INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES, MSR
AUTORES: Silva, Andre; Saavedra, Nuno; Monperrus, Martin;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 21st International Conference on Mining Software Repositories (MSR) in 2024 IEEE/ACM 21ST INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES, MSR
INDEXADO EM: 
Scopus 
WOS
Scopus WOS3
TÃTULO: CoqPyt: Proof Navigation in Python in the Era of LLMs
AUTORES: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F. ; First, Emily;
PUBLICAÇÃO: 2024, FONTE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024
AUTORES: Carrott, Pedro; Saavedra, Nuno; Thompson, Kyle; Lerner, Sorin; Ferreira, Joao F. ; First, Emily;
PUBLICAÇÃO: 2024, FONTE: 32nd ACM International Conference on the Foundations of Software Engineering (FSE) in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024
4
TÃTULO: GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
AUTORES: Nuno Saavedra; João F Ferreira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.14371
AUTORES: Nuno Saavedra; João F Ferreira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.14371
INDEXADO EM: 
DBLP
DBLP