Nuno Filipe Moreira Macedo
AuthID: R-001-TJD
1
TITLE: Validating Formal Specifications with LLM-generated Test Cases
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.23350
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.23350
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Synthesizing Test Cases for Narrowing Specification Candidates
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.19177
AUTHORS: Alcino Cunha ; Nuno Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.19177
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Hyper model checking for high-level relational models
AUTHORS: Nuno Macedo; Hugo Pacheco ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.12024
AUTHORS: Nuno Macedo; Hugo Pacheco ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.12024
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP