Automated structural testing of LLM-based agents: methods, framework, and case studies

arXiv:2601.18827 · cs.SE, cs.AI · Submitted 2026-01-25 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-01-25

Updated: 2026-10-18

Comments: 10 pages, 5 figures. Accepted for publication in the 2025 IEEE International Conference on BigData 2025 (main track). Copyright (c) 2025 IEEE. Source code for the introduced methods and framework available at https://github.com/awslabs/generative-ai-toolkit

Journal ref: Proceedings of the 2025 IEEE International Conference on Big Data (BigData), 2025, pp. 1847-1856

DOI: 10.1109/BigData66926.2025.11401679

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Adaptation — 1× in this paper · explained in 1 episode
• Trace — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

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