Barista: Synthesizing Typestate Specifications with LLM Agents

• Posted 2 hours ago by matt_d
• 1 points