logic-coverage testing

logic-coverage testing

See white box testing. [Myers]