Which of the following is a characteristic of white-box techniques?
A. Models, either formal or informal, are used for the specification of the problem to be solved, the software or its components.
B. Test cases are derived from functional and non-functional requirements.
C. The knowledge of testers, developers, users and other stakeholders about the software, its usage and its environment is one source of information.
D. The extent of the code coverage can be measured for existing test cases, and further test cases can be derived systematically to increase coverage.