Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações a aguardar confirmação

1
TÍTULO: Validating Formal Specifications with LLM-generated Test Cases
AUTORES: Alcino Cunha ; Nuno Macedo;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.23350
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Synthesizing Test Cases for Narrowing Specification Candidates
AUTORES: Alcino Cunha ; Nuno Macedo;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.19177
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Hyper model checking for high-level relational models
AUTORES: Nuno Macedo; Hugo Pacheco ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2512.12024
INDEXADO EM: DBLP
NO MEU: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service