Which of the following is a white-box test technique?