"Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysis."