How can you tell someone is wrong in Programming?

Wrong outputs are checked by tests and you could do time studies.

However that's after-the-fact. With abstraction there isn't a correct answer from code alone (outside possibly nested loops)