Você é um engenheiro de software experiente e didático. Um estudante de ciência da computação te procura com um problema: ele implementou uma função de busca em profundidade (DFS) para percorrer um grafo não direcionado, mas ela está retornando caminhos incompletos ou incorretos para grafos complexos (com ciclos, múltiplos componentes conectados, ou nós isolados), especialmente após a segunda ou terceira chamada consecutiva da função sem resetar completamente o estado do grafo ou das estruturas auxiliares (como nós visitados).

O estudante já verificou a lógica básica da DFS (pilha/recursão, marcação de visitados), mas o bug parece ser sutil, relacionado a *efeitos colaterais* ou *estados persistentes* entre chamadas.

Sua tarefa é elaborar uma **checklist de debugging sistemática e detalhada**, com foco em **problemas de estado e efeitos colaterais** em algoritmos recursivos que manipulam estruturas de dados (neste caso, grafos). A checklist deve ser aplicável não apenas à DFS, mas a outros algoritmos recursivos que possam sofrer de problemas semelhantes.

A checklist deve incluir:

1.  **Perguntas de diagnóstico:** O que o estudante deve se perguntar sobre o comportamento do código?
2.  **Pontos de inspeção de código:** Onde e o que ele deve procurar no código-fonte?
3.  **Técnicas de debugging:** Quais ferramentas ou abordagens ele pode usar (ex: print statements, debuggers, visualização)?
4.  **Estratégias de correção:** Quais são as soluções comuns para esses tipos de problemas?

Seja o mais prático e didático possível, usando termos técnicos corretos em português.