Testing correctness comparin top-down and bottom-up