Which of the following test design techniques is not a black box technique?