Which of the following test design techniques is classified as a structure-based (white box) technique? [K1]