Which of the following statements is true?
A. A test condition specifies input values and expected results; a test case combines one or more test conditions
B. A test condition may be derived from requirements or specifications; a test procedure specifies the sequence of action for the execution of a test
C. A test case specifies the sequence of execution of test conditions; a test procedure specifies test pre-conditions and post-conditions
D. A test case specifies input values and expected results; a test procedure may be derived from requirements or specifications