A programming language/interpreter technique for evaluating compound conditions in which a condition on one side of a logical operatör may not be evaluated if the condition on the other side is sufficient to determine the final outcome.
Terms of Software Testing (ISTQB)