PBT-Bench: Benchmarking AI Agents on Property-Based Testing

arXiv:2605.15229 · cs.SE, cs.AI · Submitted 2026-05-13 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-05-13

Updated: 2026-10-06

Code: https://github.com/ElliotXinqiWang/PBTbench

Terminology

• Benchmark — 3× in this paper · explained in 2 episodes
• Scaffolding — 2× in this paper · explained in 3 episodes
• AI Agents — 1× in this paper · explained in 2 episodes
• Benchmarking — 1× in this paper · explained in 4 episodes

Sources

• Evaluating Large Language Models Trained on Code
• Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback
• SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarios
• TestExplora: Benchmarking LLMs for Proactive Bug Discovery via Repository-Level Test Generation
• Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
• Can Large Language Models Write Good Property-Based Tests?

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties