See also functional-correctness

Definitions:

Provide accurate results when used by intended users for intended functions.

ISO-25010:2023

Extent to which a program satisfies its specifications and fulfills the user’s mission objectives.

McCall-1978