Analyze source code and existing test suites to identify untested logic branches, missing edge cases, and critical uncov