Tests, Proofs and Refinements