Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por Alcino Cunha

2025

Synthesizing Test Cases for Narrowing Specification Candidates

Autores
Cunha, A; Macedo, N;

Publicação
CoRR

Abstract

2025

Validating Formal Specifications with LLM-generated Test Cases

Autores
Cunha, A; Macedo, N;

Publicação
CoRR

Abstract

  • 16
  • 16