Data · dataset · 2026
Artifact for Barista: Synthesizing Typestate Specifications with LLM Agents
Listed in ZivaHub
<p dir="ltr">Artifact: Barista is the replication package for a paper on synthesizing typestate specifications using LLM agents.
Description
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>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.31865314.v1 ↗
DOI / persistent id · from zivahub uct ac za
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from zivahub uct ac za
Topics
Provenance · 1 source records, 10 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| ZivaHub | oai:figshare.com:article/31865314 | 5 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].anzsrc:field:461201 | mapping · zivahub uct ac za | vocabulary-mapper@1.0.0 | keywords['Automated software engineering'] |
| concepts[field].local:field:computer-science-ai | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:engineering | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:humanities | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| description | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/description |
| license | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/rights |
| publication_date | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| title | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/title |