Term: “feasible path”.

It is a path for which there is a set of input values and preconditions that cause its execution.