Google Researchers Show Spec-Driven Test Generation Cuts Missed Bugs in AI Coding Agents
A Google study finds AI agents that first write a semi-formal specification before generating tests catch 9.8 percentage points more real bugs than agents that generate tests directly.