Verified Water-Pump Testing