1 citations · 1 across the 14 of their papers we have counts for
1 paper · 1 filter
Ziyue Jin, Di Wang
Understanding and predicting the worst-case resource usage is crucial for software quality; however, existing methods either over-approximate with potentially loose bounds or under…