Add section on correctness tests