Correctness
CONCEPT: Correctness is the property of being consistent with a specification.
That is, the specification may say that proper outputs are produced by a system for each input.
For example, in the Binary Search project, the program you wrote produced the proper outputs (e.g., asked the next question correctly) for each input (e.g., depending on whether you clicked on the “yes” or “no” button)