https://1library.org/document/zpd62v4z-depuracao-de-programas-baseada-em-informacao-teste-estrutural.html