TY  - RPRT
TI  - Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming (Extended Version)
AU  - Samuel Frontull
AU  - Manuel Meitinger
AU  - Georg Moser
PY  - 2026
UR  - https://arxiv.org/abs/2608.11833
ID  - 2608.11833
ER  -