Which of the following is an example of black-box dynamic testing?