João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações a aguardar confirmação

1
TÍTULO: Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
AUTORES: João Pascoal Faria; Emanuel Trigo; Vinicius Honorato; Rui Abreu;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2601.12845
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