testing

Program testing is not to prove correctness. Yes, totally, testing is just there to help us program, not to prove correctness.