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.