2nd order testing <- path coverage (have compiler tell you which branches it has visited at least once, create test cases until 100% of branches have been touched (or manually deleted as unreachable)