Henrique Nuno Saavedra Lemos de Moura
AuthID: R-004-PBN
1
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 WOS2
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
3
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