In which case for Black box testing, would only ECP be used on the input domain, but not BVA?