STAB: Specification-driven Testing for Algorithmic Bottlenecks 事件

STAB: Specification-driven Testing for Algorithmic Bottlenecks arXiv:2605.27981v1 Announce Type: new Abstract: 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 introduce STAB,