2026-10-06T12:39:21Z https://api.figshare.com/v2/oai

oai:figshare.com:article/31865314 2026-09-28T18:20:16Z category_29179 item_type_9 month_year_09_2026

Artifact for Barista: Synthesizing Typestate Specifications with LLM Agents Catarina Gamboa (23627224) Paulo Canelas (21375750) Ricardo Costa (4819278) Márcio Caetano (23629448) Jonathan Aldrich (3880804) Alcides Fonseca (5414588) Automated software engineering Liquid Types Object Protocol Code Generation Agents Specification Languages Java <p dir="ltr">Artifact: Barista is the replication package for a paper on synthesizing typestate specifications using LLM agents. It contains the Barista tool, an agentic pipeline that transforms Java API documentation into LiquidJava typestate specifications using four specialized Claude-based agents. The package includes evaluation results, expert annotations, and scripts to reproduce all experiments, achieving 87.0% precision and 68.3% recall against expert test suites.</p> 2026-09-28T18:20:16Z Software Software 10.6084/m9.figshare.31865314.v1 https://figshare.com/articles/software/Artifact_for_Barista_Synthesizing_Typestate_Specifications_with_LLM_Agents/31865314 MIT