I haven't seen any medium to large size codebases that are bug free. How do those issues get identified when it's on paper?