Which of the following statements is TRUE regarding state-based analysis as a functional software testing technique?

A. It is characterized by the stateless behavior of a process implemented in a function
B. Test inputs are obtained from the derived boundaries of the given functional specifications
C. An entire partition can be covered by considering only one representative value from that partition
D. It is useful for testing communications protocols and graphical user interfaces