A Case Study in Assuring AI-Written Software
cs.SE, cs.AI, cs.MA
Submitted: 2026-10-06
Updated: 2026-10-06
Sources
- (Im)Paired Programming: Coding Agents Improve Productivity but Harm Understanding
- Measuring the Influence of Incorrect Code on Test Generation
- Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
- How Do Practitioners Build SE Agents? Insights from a Mixed-Methods Study
- LLM Critics Help Catch LLM Bugs
- Autonomy and Agency in Agentic AI: Architectural Tactics for Regulated Contexts
- Evaluation-Driven Development and Operations of LLM Agents: A Process Model and Reference Architecture
- Shepherd: Enabling Programmable Meta-Agents via Reversible Agentic Execution Traces
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