Mário Jino, Paulo Marcos Siqueira Bueno.
A tool and techniques are presented for test data generation and infeasibility identi cation in structural software testing technique. The tool is based on: the Dynamic Technique; search of the problems, partial solutions can be useful for software testing practice.
http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/1999/28.pdf
Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web