Which white-box test technique measures whether each executable statement in the code has been exercised at least once?