Reliable Leak Detection