João Carlos Pascoal Faria
AuthID: R-000-6WK
1
TITLE: Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
AUTHORS: João Pascoal Faria; Emanuel Trigo; Vinicius Honorato; Rui Abreu;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.12845
AUTHORS: João Pascoal Faria; Emanuel Trigo; Vinicius Honorato; Rui Abreu;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2601.12845
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP