Behavioral resource-aware model inference
Statistical debugging for real-world performance problems