When building interactive systems, it is enormously difficult to understand their behavior because of an enormous state-space.
You have to consider all the system’s data and operations.
-- multiplied by all the possible sequences of the user’s interactions.