Achieving full statement coverage during testing of a program means that:

a. Every branching statement in the program is traversed at least once during the test run

b. All execution paths in the program are traversed at least once by the test data

c. For any statement that is traversed by test data, both the "true" and "false" values are tested

d. Each program statement is executed at least once during the test run