AINeutralarXiv – CS AI · 3h ago6/10
🧠
STAB: Specification-driven Testing for Algorithmic Bottlenecks
STAB is a specification-driven testing pipeline that generates test cases exposing algorithmic bottlenecks by extracting constraints and injecting adversarial structures from natural language problem specifications. The method improves bottleneck detection rates from 50-57% to 71-73% across major programming languages and LLM implementations.