Preprint
Aug 2026
Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming (Extended Version)
A novel hybrid approach that systematically derives upper bounds for the worst-case resource consumption of functional programs by combines dynamic symbolic execution to exhaustively explore all possible computation paths within a constrained input space with mixed-integer linear programming to derive empirically sound...
Samuel Frontull, M. Meitinger, Georg Moser
· 0 citations