I look at the specs and find all the conditional branches (if else or cases) and write a test cases that ensures all the branches are traversed. I also look for loops and check that loops deal with...