https://1library.org/document/y95k56rz-teste-de-funcoes-por-cobertura-grafo-fluxo-controle.html