Poster · Atlanta
PBT-Bench: Benchmarking AI Agents on Property-Based Testing
- When
- Fri 11 Dec 2026, 10:00–13:00 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 5
- Authors
- Guohao Jing, Xinqi Wang, Liao Zhang, Simon Du
- Organisations
- Tsinghua University, University of Washington, Universität Innsbruck
- QRS classification
- Agentic AI