Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Alcino Cunha

2025

Synthesizing Test Cases for Narrowing Specification Candidates

Authors
Cunha, A; Macedo, N;

Publication
CoRR

Abstract

2025

Validating Formal Specifications with LLM-generated Test Cases

Authors
Cunha, A; Macedo, N;

Publication
CoRR

Abstract

  • 16
  • 16