AI RESEARCH
STAB: Specification-driven Testing for Algorithmic Bottlenecks
arXiv CS.AI
•
ArXi:2605.27981v1 Announce Type: new Evaluating the efficiency of algorithmic code requires test cases that expose runtime bottlenecks. Previous methods generate efficiency test cases either by increasing input size or by generating code-specific inputs that make the given implementation run slowly. Consequently, they do not address the structural input conditions that drive the algorithmic worst case. We