Which of the following is MOST characteristic of specification based (black-box) techniques?