結果 : program correctness and verification in software testing