GBQA: A Game Benchmark for Evaluating LLMs as Quality Assurance Engineers
Organizations: The University of Hong Kong · Datawhale Org. · Independent Researcher · Westlake University
Abstract
The autonomous discovery of bugs remains a significant challenge in modern software development. Compared to code generation, the complexity of dynamic runtime environments makes bug discovery considerably harder for large language models (LLMs). In this paper, we take game development as a representative domain and introduce the Game Benchmark for Quality Assurance (GBQA), a benchmark containing 30 games and 124 human-verified bugs across three difficulty levels, to evaluate whether LLMs can autonomously detect software bugs. The benchmark is constructed using a multi-agent system that develops games and injects bugs in a scalable manner, with human experts in the loop to ensure correctness. Moreover, we provide a baseline interactive agent equipped with a multi-round ReAct loop and a memory mechanism, enabling long-horizon exploration of game environments for bug detection across different LLMs. Extensive experiments on frontier LLMs demonstrate that autonomous bug discovery remains highly challenging: the best-performing model, Claude-4.6-Opus in thinking mode, identifies only 48.39% of the verified bugs. We believe GBQA provides an adequate testbed and evaluation criterion, and that further progress on it will help close the gap in autonomous software engineering.
Figures & tables
| Model | Player Exploring Mode | Quality Assurance Mode | Best Performance | ||||||
| 50 | 100 | 200 | 500 | 50 | 100 | 200 | 500 | ||
| LLMs in Instruct Mode | |||||||||
| Claude-4.6-Opus | 14.52 | 20.97 | 25.81 | 31.45 | 22.58 | 28.23 | 31.45 | 37.90 | 37.90 |
| Claude-4.5-Sonnet | 11.29 | 16.13 | 18.55 | 20.97 | 17.74 | 25.00 | 28.23 | 32.26 | 32.26 |
| GPT-5.2 | 7.26 | 10.48 | 12.90 | 14.52 | 11.29 | 16.94 | 19.35 | 22.58 | 22.58 |
| Kimi-K2.5-1T-A32B | 6.45 | 9.68 | 11.29 | 13.71 | 10.48 | 15.32 | 17.74 | 20.97 | 20.97 |
Appendix figures & tables7 assets
Supplementary material from the paper’s appendix.
Appendix
| Model | SWE-Bench Verified | GBQA | Source |
| Claude-4.6-Opus | 81.4% | 48.39% | ( Anthropic, 2026 ) |
| Gemini-3.1-Pro | 80.6% | 33.06% | ( Google DeepMind, 2026 ) |
| GPT-5.2 | 80.0% | 22.58% | ( OpenAI, 2025b ) |
| Claude-4.5-Sonnet | 77.2% | 32.26% | ( Anthropic, 2025b ) |
| Qwen3-Coder-Next | 70.6% | – | ( Cao et al., 2026 ) |
| DeepSeek-R1 | 57.6% | 37.90% | ( Guo et al., 2025a ) |
| Room | Primary role in progression | Key objects | Mechanic stressed during QA |
| Hall | Start state and final exit gate | sealed door, matches, candlestick | Initial observation, pickup behavior, final win-condition verification |
| Corridor | Routing hub between early branches | portrait, torch bracket | Navigation consistency and branching exploration |
| Bedroom | Early hidden-item branch | bed, bedside drawer, diary, small key | Hidden information, container visibility, item discovery |
| Kitchen | Utility branch for later access | stove, bucket, ladder | Portable tool acquisition and cross-room dependency |
| Storage | Locked side room unlocked by bedroom key | toolbox, rope, oil lamp, key fragment B | Lock semantics, container interaction, item gating |
| Library | Knowledge branch before attic access | bookshelves, reading desk, scroll | Reading clues, information retrieval, ladder placement dependency |
| ID | Bug type | Difficulty | Minimal reproduction | Observed fault |
| 1 | logic error | Easy | Collect any two key fragments and execute combine . | The player can assemble the complete key with only two fragments, instead of all three. |
| 2 | description flaw | Easy | Enter the bedroom and execute look before opening the bedside drawer. | The room description reveals the hidden small key before the drawer has been opened. |
| 3 | data inconsistency | Medium | Pick up any portable item, move to a room, execute drop , then execute look . | The dropped object does not appear in the updated room description, so the textual state fails to reflect the backend change. |
| Session | QA Findings | Claude Code Repair Outcome | Verification / Session Result | Discovery Rate / Fixing Rate |
| 1 | Newly discovered BUG-2 and BUG-3 | Repair the hidden-key leakage in the bedroom description and refresh the room description after drop . | Both reported issues are patched and scheduled for QA verification in Session 2. | Discovery: 2/3 Fixing: pending verification |
| 2 | Verify BUG-2 and BUG-3 as fixed; discover and report BUG-1 | Patch the fragment-combination logic after the new BUG-1 report is submitted. | QA confirms BUG-2 and BUG-3 behave normally after repair. BUG-1 remains the only unresolved defect entering Session 3. | Discovery: 3/3 Fixing: 2/3 |
| 3 | Verification-focused session for BUG-1; no additional bugs reported | Correct the erroneous conditional on the “fewer than three fragments” path so key combination is allowed only with all three fragments. | QA confirms BUG-1 is fixed and no released CASTLE bug is reproduced on the targeted verification paths. | Discovery: 3/3 Fixing: 3/3 |
| Total | BUG-001, BUG-2, and BUG-3 all discovered across the three sessions | Claude Code successfully repairs all reported bugs. | Final verification confirms that all three human-verified CASTLE bugs are fixed. | Discovery: 3/3 (100%) Fixing: 3/3 (100%) |
Automated Software Engineering
Automated Software Engineering uses AI, search, and verification methods to automate tasks across the software development lifecycle.
See all 81 papers