A benchmarking tool for Web proxies
