Which of the following test case design techniques is white box (structure-based) ? [K1]